Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics

DOI10.1155/2007/43645zbMath1145.54004OpenAlexW2055390537MaRDI QIDQ925363

Publication date: 3 June 2008

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/54502

zbMATH Keywords

algebraic theory topological category quantale algebraic generation of (topological) powerset theories fixed-based (variable basis) lattice-valued topology powerset theory

Mathematics Subject Classification ID

Fuzzy topology (54A40) Categorical methods in general topology (54B30) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Quantales (06F07)

Related Items

Weak hyper semi-quantales and weak hypervalued topological spaces ⋮ Categorical dualities between certain kinds of fuzzy posets ⋮ Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives ⋮ Fundamental duality of abstract categories and its applications ⋮ Lattice-valued bornological systems ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Transporting many-valued sets along many-valued relations ⋮ Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations ⋮ Category theoretic aspects of chain-valued frames. II: Applications to lattice-valued topology ⋮ Uniform environments as a general framework for metrics and uniformities ⋮ Complete \(\xi \)-grills and \((L,n)\)-merotopies ⋮ Sobriety and spatiality in varieties of algebras ⋮ Topological systems and Artin glueing ⋮ Topological representation and quantic separation axioms of semi-quantales ⋮ Sierpinski object for affine systems ⋮ Categorical foundations of variety-based bornology ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Lattice-valued soft algebras. ⋮ Many valued topologies on L-sets ⋮ Relational, closure and partition powerset theories ⋮ Sierpinski object for composite affine spaces ⋮ Overview and comparison of localic and fixed-basis topological products ⋮ Hypergraph functor and attachment ⋮ On limits and colimits of variety-based topological systems ⋮ On a generalization of the concept of state property system ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Interweaving algebra and topology: lattice-valued topological systems ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Fuzzy objects in spaces with fuzzy partitions ⋮ Unnamed Item ⋮ Category-theoretic fuzzy topological spaces and their dualities ⋮ Categorically algebraic topology versus universal topology ⋮ A characterization of the category \(Q\)-\(\mathbf{TOP}\) ⋮ Extended real dicompactness and an application to Hutton spaces ⋮ On the category of lattice-valued bornological vector spaces ⋮ An approach to fuzzy frames via fuzzy posets ⋮ Composite variety-based topological theories ⋮ Sobriety and spatiality in categories of lattice-valued algebras ⋮ Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets ⋮ Pointed semi-quantales and lattice-valued topological spaces ⋮ Necessity of non-stratified and anti-stratified spaces in lattice-valued topology ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ \(L\)-topological spaces as spaces of points ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ Relationship of algebraic theories to powersets over objects in \(\mathbf {Set}\) and \(\mathbf {Set}\times C\) ⋮ Variable-basis topological systems versus variable-basis topological spaces ⋮ Stratified categorical fixed-basis fuzzy topological spaces and their duality ⋮ On the Lattice of Stratified Principal L-topologies ⋮ Extended-order algebras as a generalization of posets ⋮ OnQ-sobriety ⋮ Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices ⋮ On ordered categories as a framework for fuzzification of algebraic and topological structures ⋮ Relational powerset theories ⋮ Fuzzy quantic nuclei and conuclei with applications to fuzzy semi-quantales and \((L,M)\)-quasi-fuzzy topologies ⋮ On fuzzification of topological categories ⋮ A non-commutative approach to uniform structures

Cites Work