Composite variety-based topological theories

Motivated by the recent result of Rodabaugh on categorical redundancy of lattice-valued bitopology, the paper considers another viewpoint on the topic, based on the notion of composite variety-based topological theory. The new concept, apart from providing a variable-basis generalization of bitopology, incorporates the most important approaches to topology currently developed in the fuzzy community, bringing forward their categorically algebraic properties, which are cleared from point-set lattice-theoretic dependencies. Dwelling on different ways of interaction between composite topology and topology, e.g., embedding the former into the latter as a full bicoreflective subcategory, we finally arrive at the conclusion that (variable-basis) bitopological theories still deserve to be studied on their own.

[1]  Stephen E. Rodabaugh,et al.  The Hausdorff separation axiom for fuzzy topological spaces , 1980 .

[2]  Dona Papert,et al.  Sur les treillis des ouverts et les paratopologies , 1958 .

[3]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[4]  Stephen E. Rodabaugh,et al.  Lattice-Valued Frames, Functor Categories, And Classes Of Sober Spaces , 2003 .

[5]  Stephen Ernest Rodabaugh.  Necessity of non-stratified and anti-stratified spaces in lattice-valued topology , 2010, Fuzzy Sets Syst..

[6]  Stephen E. Rodabaugh,et al.  A categorical accommodation of various notions of fuzzy topology , 1983 .

[7]  Liu Ying-Ming,et al.  Fuzzy topology. II. Product and quotient spaces , 1980 .

[8]  Peter T. Johnstone,et al.  Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.

[9]  Stephen E. Rodabaugh,et al.  POWERSET OPERATOR FOUNDATIONS FOR POINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES AND TOPOLOGIES , 1997 .

[10]  Sergey A. Solovyov,et al.  On the category Q-Mod , 2008 .

[11]  Sergey A. Solovyov,et al.  Fuzzy algebras as a framework for fuzzy topology , 2011, Fuzzy Sets Syst..

[12]  N. Nakajima,et al.  Generalized fuzzy sets , 1989 .

[13]  Stephen E. Rodabaugh,et al.  Point-set lattice-theoretic topology , 1991 .

[14]  C. Guido.  Powerset Operators Based Approach To Fuzzy Topologies On Fuzzy Sets , 2003 .

[15]  A. Pultr,et al.  Category theoretic aspects of chain-valued frames: Part I: Categorical and presheaf theoretic foundations , 2008, Fuzzy Sets Syst..

[16]  Patrik Eklund.  Category theoretic properties of fuzzy topological spaces , 1984 .

[17]  Sergey A. Solovyov,et al.  Sobriety and spatiality in varieties of algebras , 2008, Fuzzy Sets Syst..

[18]  M. Stone.  Topological representations of distributive lattices and Brouwerian logics , 1938 .

[19]  B. Hutton,et al.  Products of fuzzy topological spaces , 1980 .

[20]  Stephen E. Rodabaugh,et al.  Powerset Operator Foundations For Poslat Fuzzy Set Theories And Topologies , 1999 .

[21]  S. E. Rodabaugh.  Functorial comparisons of bitopology with topology and the case for redundancy of bitopology in lattice-valued mathematics , 2008 .

[22]  Stephen Ernest Rodabaugh,et al.  Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics , 2007, Int. J. Math. Math. Sci..

[23]  Anna Tozzi,et al.  TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS , 1988 .

[24]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[25]  Alexander P. Sostak,et al.  Axiomatic Foundations Of Fixed-Basis Fuzzy Topology , 1999 .

[26]  Sergey A. Solovyov,et al.  On a generalization of the concept of state property system , 2011, Soft Comput..

[27]  George Gratzer,et al.  Universal Algebra , 1979 .

[28]  J. Goguen.  L-fuzzy sets , 1967 .

[29]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[30]  Mustafa Demirci,et al.  Pointed semi-quantales and lattice-valued topological spaces , 2010, Fuzzy Sets Syst..

[31]  Sergey A. Solovyov,et al.  On ordered categories as a framework for fuzzification of algebraic and topological structures , 2009, Fuzzy Sets Syst..

[32]  R. Lowen.  Fuzzy topological spaces and fuzzy compactness , 1976 .

[33]  Stephen E. Rodabaugh,et al.  Categorical Foundations of Variable-Basis Fuzzy Topology , 1999 .

[34]  Diederik Aerts,et al.  On the Amnestic Modification of the Category of State Property Systems , 2002, Appl. Categorical Struct..

[35]  Sergey A. Solovyov,et al.  Generalized fuzzy topology versus non-commutative topology , 2011, Fuzzy Sets Syst..

[36]  S. Lane.  Categories for the Working Mathematician , 1971 .

[37]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[38]  Sergey A. Solovyov,et al.  Variable-basis topological systems versus variable-basis topological spaces , 2010, Soft Comput..

[39]  Peter T. Johnstone,et al.  Corrigenda for ‘Connected limits, familial representability and Artin glueing’ , 2004, Mathematical Structures in Computer Science.

[40]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[41]  B. Hutton,et al.  Uniformities on fuzzy topological spaces , 1977 .

[42]  Stephen E. Rodabaugh,et al.  Categorical Frameworks for Stone Representation Theories , 1992 .

[43]  A. Pultr,et al.  Examples For Different Sobrieties In Fixed-Basis Topology , 2003 .

[44]  Ales Pultr,et al.  Category theoretic aspects of chain-valued frames: Part II: Applications to lattice-valued topology , 2008, Fuzzy Sets Syst..

[45]  F. E. J. Linton,et al.  Some Aspects of Equational Categories , 1966 .

[46]  Marcel Erné,et al.  General Stone duality , 2004 .

[47]  S. Vickers.  Topology via Logic , 1989 .

[48]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[49]  Patrik Eklund.  A comparison of lattice-theoretic approaches to fuzzy topology , 1986 .

[50]  Cosimo Guido,et al.  Fuzzy points and attachment , 2010, Fuzzy Sets Syst..

[51]  James B. Nation,et al.  CONGRUENCE LATTICES OF SEMILATTICES , 1973 .

[52]  Sergey A. Solovyov,et al.  Categorical foundations of variety-based topology and topological systems , 2012, Fuzzy Sets Syst..

[53]  Diederik Aerts,et al.  State Property Systems and Closure Spaces: A Study of Categorical Equivalence , 1999 .

[54]  Joseph A. Goguen,et al.  The fuzzy tychonoff theorem , 1973 .

[55]  Jeffrey T. Denniston,et al.  Functorial relationships between lattice-valued topology and topological systems , 2009 .

[56]  Jan Paseka,et al.  Algebraic and Categorical Aspects of Quantales , 2008 .

[57]  C. L. Chang,et al.  Fuzzy topological spaces , 1968 .