Categorically algebraic topology versus universal topology

This paper continues to develop the theory of categorically algebraic (catalg) topology, introduced as a common framework for the majority of the existing many-valued topological settings, to provide convenient means of interaction between different approaches. Motivated by the results of universal topology of H. Herrlich, we show that a concrete category is fibre-small and topological if and only if it is concretely isomorphic to a subcategory of a category of catalg topological structures, which is definable by topological co-axioms.

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

[2]  Law Fw.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .

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

[4]  Sergejs Solovjovs.  Categorically-algebraic topology , 2010 .

[5]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[6]  U. Höhle.  Upper semicontinuous fuzzy sets and applications , 1980 .

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

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

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

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

[11]  A. P. Shostak.  Two decades of fuzzy topology: basic ideas, notions, and results , 1989 .

[12]  Oswald Wyler,et al.  On the categories of general topology and topological algebra , 1971 .

[13]  Patrik Eklund,et al.  Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras , 2009, Electron. Notes Theor. Comput. Sci..

[14]  W. Gähler.  General Topology — the Monadic Case, Examples, Applications , 2000 .

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

[16]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[17]  Marcel Erné,et al.  A Primer on Galois Connections , 1993 .

[18]  Stephen Ernest Rodabaugh,et al.  Relationship of algebraic theories to powersets over objects in Set and Set × C , 2010, Fuzzy Sets Syst..

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

[20]  Dirk Hofmann,et al.  Topological theories and closed objects , 2007 .

[21]  S. Solovyov.  POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES , 2011 .

[22]  E. Manes.  Algebraic Theories in a Category , 1976 .

[23]  C. Gumo.  Powerset Operators Based Approach To Fuzzy Topologies On Fuzzy Sets , 2003 .

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

[25]  S. Franklin.  On epi-reflective hulls , 1971 .

[26]  S. Solovyov.  ON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS , 2011 .

[27]  A. Pultr,et al.  Combinatorial, algebraic, and topological representations of groups, semigroups, and categories , 1980 .

[28]  B. Banaschewski.  Extensions of Topological Spaces , 1964, Canadian Mathematical Bulletin.

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

[30]  E. Manes.  A class of fuzzy theories , 1982 .

[31]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[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]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[35]  W. Gähler,et al.  Monadic Convergence Structures , 2003 .

[36]  S. E. Rodabaugh,et al.  Topological and Algebraic Structures in Fuzzy Sets , 2003 .

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

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

[39]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[40]  S. Solovyov.  Functorial semantics of topological theories , 2015 .

[41]  Z. Hedrlín,et al.  CONCERNING A CATEGORIAL APPROACH TO TOPOLOGICAL AND ALGEBRAIC THEORIES , 1967 .

[42]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[43]  Fatma Bayoumi,et al.  Overview and comparison of localic and fixed-basis topological products , 2010, Fuzzy Sets Syst..

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

[45]  Jirí Adámek,et al.  Algebraic Theories: A Categorical Introduction to General Algebra , 2010 .

[46]  Austin Melton,et al.  Interweaving algebra and topology: Lattice-valued topological systems , 2012, Fuzzy Sets Syst..

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

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

[49]  S. Solovyov.  Localification of variable-basis topological systems , 2011 .

[50]  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..

[51]  Oswald Wyler,et al.  Top categories and categorical topology , 1971 .

[52]  S. E. Rodabaugh,et al.  Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets , 2003 .

[53]  Sergey A. Solovyov,et al.  On the category Set(JCPos) , 2006, Fuzzy Sets Syst..

[54]  Jirí Michálek,et al.  Fuzzy topologies , 1975, Kybernetika (Praha).

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

[56]  Austin Melton,et al.  Lattice-valued preordered sets as lattice-valued topological systems , 2015, Fuzzy Sets Syst..

[57]  O. Wyler.  Convenient categories for topology , 1973 .

[58]  Alexander Katovsky,et al.  Category Theory , 2010, Arch. Formal Proofs.