ON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS

Document Type : Research Paper

Author

Department of Mathematics, University of Latvia, Zellu iela 8, LV-1002 Riga, Latvia and Institute of Mathematics and Computer Science, University of Latvia, Raina bulvaris 29, LV-1459 Riga, Latvia

Abstract

Motivated by the recent study on categorical properties of latticevalued
topology, the paper considers a generalization of the notion of topological
system introduced by S. Vickers, providing an algebraic and a coalgebraic
category of the new structures. As a result, the nature of the category
 
TopSys
 
of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalued)
topology can be embedded into algebra.

Keywords


\bibitem{Adamek2009}
  J.~Ad{\'{a}}mek, H.~Herrlich and G.~E. Strecker, {\it Abstract and Concrete
  Categories: the joy of cats}, Dover Publications, New York, 2009.
 \bibitem{Aerts1999}
  D.~Aerts, {\it Foundations of quantum physics: a general realistic and operational approach}, Int. J. Theor. Phys., {\bf 38}\textbf{(1)} (1999), 289-358.
 \bibitem{Aerts1999a}
  D.~Aerts, E.~Colebunders, A.~van~der Voorde and B.~van Steirteghem, {\it State property systems and closure spaces: a study of categorical equivalence}, Int. J. Theor. Phys., {\bf 38}\textbf{(1)} (1999), 359-385.
 \bibitem{Aerts2002}
  D.~Aerts, E.~Colebunders, A.~van~der Voorde and B.~van Steirteghem, {\it On the amnestic modification of the category of state property systems}, Appl. Categ. Struct., {\bf 10}\textbf{(5)} (2002), 469-480.
 \bibitem{Birkhoff1935}
  G.~Birkhoff, {\it On the structure of abstract algebras}, Proc. Cambridge Phil. Soc., {\bf 31} (1935), 433-454.
 \bibitem{Chang1968}
  C.~L. Chang, {\it Fuzzy topological spaces}, J. Math. Anal. Appl.,
  {\bf 24} (1968), 182-190.
 \bibitem{Cohn1981}
  P.~M. Cohn, {\it Universal algebra}, D. Reidel Publ. Comp., 1981.
 \bibitem{Demirci2010}
  M.~Demirci, {\it Pointed semi-quantales and lattice-valued topological spaces}, Fuzzy Sets and Systems, {\bf 161}\textbf{(9)} (2010), 1224-1241.
 \bibitem{Denniston2009}
  J.~T. Denniston, A.~Melton and S.~E. Rodabaugh, {\it Lattice-valued topological systems}, In: U.~Bodenhofer, B.~De~Baets, E.~P. Klement, S.~Saminger-Platz, eds., Abstracts of the 30th Linz Seminar on Fuzzy Set Theory, Johannes Kepler Universit\"{a}t, Linz, (2009), 24-31.
 \bibitem{Denniston2009a}
  J.~T. Denniston and S.~E. Rodabaugh, {\it Functorial relationships between
  lattice-valued topology and topological systems}, Quaest. Math.,
  {\bf 32}\textbf{(2)} (2009), 139-186.
 \bibitem{Dikranjan1988}
  D.~Dikranjan, E.~Giuli and A.~Toi, {\it Topological categories and closure operators}, Quaest. Math., {\bf 11}\textbf{(3)} (1988), 323-337.
 \bibitem{Eklund1986}
  P.~Eklund, {\it Categorical fuzzy topology}, Ph.D. Thesis, \r{A}bo Akademi, 1986.
 \bibitem{Gahler1992}
  W.~G\"ahler, {\it Monadic topology-a new concept of generalized topology}, In: W.~G\"ahler, eds., Recent Developments of General Topology and Its Applications, Akademie-Verlag, Berlin, (1992), 136-149.
 \bibitem{Goguen1973}
  J.~A.~Goguen, {\it The fuzzy Tychonoff theorem}, J. Math. Anal. Appl.,
  {\bf 43} (1973), 734-742.
 \bibitem{Guido2010}
  C.~Guido, {\it Fuzzy points and attachment}, Fuzzy Sets and Systems,
  {\bf 161}\textbf{(16)} (2010), 2150-2165.
 \bibitem{Guido2003}
  C.~Guido, {\it Powerset operators based approach to fuzzy topologies on fuzzy sets}, In: S.~E. Rodabaugh, E.~P. Klement, eds., Topological and Algebraic Structures in Fuzzy Sets, Kluwer Academic Publishers, (2003), 401-413.
 \bibitem{Guido2011}
  C.~Guido and V.~Scarciglia, {\it $L$-topological spaces as spaces of points}, Fuzzy Sets and Systems, {\bf173(1)} (2011), 45-59.
 \bibitem{Hohle1999a}
  U.~H\"{o}hle and A.~P. \v{S}ostak, {\it Axiomatic foundations of fixed-basis fuzzy topology}, In: U.~H\"{o}hle, S.~E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, Kluwer Academic Publishers, (1999), 123-272.
 \bibitem{Hutton1980}
  B.~Hutton, {\it Products of fuzzy topological spaces}, Topology Appl.,
  {\bf 11} (1980), 59-67.
 \bibitem{Isbell1972}
  J.~R. Isbell, {\it Atomless parts of spaces}, Math. Scand.,
  {\bf 31} (1972), 5-32.
 \bibitem{John2008}
  J.~John and T.~Baiju, {\it Metacompactness in $L$-topological spaces},
  Iranian Journal of Fuzzy Systems, {\bf 5}\textbf{(3)} (2008), 71-79.
 \bibitem{Johnstone1982}
  P.~T. Johnstone, {\it Stone spaces}, Cambridge University Press, 1982.
 \bibitem{Kelley1975}
  J.~L. Kelley, {\it General topology}, Springer, 1975.
 \bibitem{Kruml2008}
  D.~Kruml and J.~Paseka, {\it Algebraic and categorical aspects of quantales}, In: M.~Hazewinkel, eds., Handbook of Algebra, Elsevier, {\bf5} (2008), 323-362.
 \bibitem{Li2005}
  S. P. Li, Z.~Fang and J.~Zhao, \emph{{P2-connectedness in $L$-topological spaces}}, Iranian Journal of Fuzzy Systems,
  {\bf 2}\textbf{(1)} (2005), 29-36.
 \bibitem{Lowen1976}
  R.~Lowen, {\it Fuzzy topological spaces and fuzzy compactness}, J. Math. Anal. Appl., {\bf 56} (1976), 621-633.
 \bibitem{MacLane1998}
  S.~{Mac Lane}, {\it Categories for the working mathematician}, 2nd ed.,
  Springer-Verlag, 1998.
 \bibitem{Manes1976}
  E.~G. Manes, {\it Algebraic theories}, Springer-Verlag, 1976.
 \bibitem{Papert1959}
  D.~Papert and S.~Papert, {\it Sur les treillis des ouverts et les paratopologies}, Semin. de Topologie et de Geometrie differentielle Ch. Ehresmann 1 (1957/58), {\bf 1} (1959), 1-9.
 \bibitem{Pratt1999}
  V.~Pratt, {\it Chu spaces}, Coimbra: Universidade de Coimbra, Departamento de Matem\'atica, Textos Mat., S\'er., {\bf B}\textbf{(21)} (1999), 39-100.
 \bibitem{Pultr2003b}
  A.~Pultr, {\it Frames}, In: M.~Hazewinkel, eds., Handbook of Algebra, North-Holland Elsevier, {\bf3} (2003), 789-858.
 \bibitem{Pultr2003}
  A.~Pultr and S.~E. Rodabaugh, {\it Lattice-valued frames, functor categories, and classes of sober spaces}, In: S.~E. Rodabaugh,
  E.~P. Klement, eds., Topological and Algebraic Structures in Fuzzy Sets, Kluwer Academic Publishers, (2003), 153-187.
 \bibitem{Pultr2008}
  A.~Pultr and S.~E. Rodabaugh, {\it Category theoretic aspects of chain-valued frames: part I: categorical foundations}, Fuzzy Sets and Systems, {\bf 159}\textbf{(5)} (2008), 501-528.
 \bibitem{Pultr2008a}
  A.~Pultr and S.~E. Rodabaugh, {\it Category theoretic aspects of chain-valued frames: part II: applications to lattice-valued topology}, Fuzzy Sets and Systems, {\bf 159}\textbf{(5)} (2008), 529-558.
 \bibitem{Rodabaugh1983}
  S.~E. Rodabaugh, {\it A categorical accommodation of various notions of fuzzy topology}, Fuzzy Sets and Systems, {\bf 9} (1983), 241-265.
 \bibitem{Rodabaugh1997}
  S.~E. Rodabaugh, {\it Powerset operator based foundation for point-set
  lattice-theoretic (poslat) fuzzy set theories and topologies}, Quaest. Math., {\bf 20}\textbf{(3)} (1997), 463-530.
 \bibitem{Rodabaugh1999a}
  S.~E. Rodabaugh, {\it Categorical foundations of variable-basis fuzzy topology}, In: U.~H\"{o}hle, S.~E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, Kluwer Academic Publishers, (1999), 273-388.
 \bibitem{Rodabaugh1999c}
  S.~E. Rodabaugh, {\it Powerset operator foundations for poslat fuzzy set theories and topologies}, In: U.~H\"{o}hle, S.~E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, Kluwer Academic Publishers, (1999), 91-116.
 \bibitem{Rodabaugh2007}
  S.~E. Rodabaugh, {\it Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics}, Int. J. Math. Math. Sci., {\bf 2007} (2007), 1-71.
 \bibitem{Rosenthal1990}
  K.~I. Rosenthal, {\it Quantales and their applications}, Addison Wesley Longman, 1990.
 \bibitem{Shi2004}
  F. G. Shi, {\it Countable compactness and the Lindel\"{o}f property of $L$-fuzzy sets}, Iranian Journal of Fuzzy Systems, {\bf 1}\textbf{(1)} (2004), 79-88.
 \bibitem{Shi2010}
  F. G. Shi and P. Chen, {\it The Urysohn axiom and the completely Hausdorff axiom in $L$-topological spaces}, Iranian Journal of Fuzzy Systems,
  {\bf 7}\textbf{(1)} (2010), 33-45.
 \bibitem{Shostak1989}
  A.~P.~Shostak, {\it Two decades of fuzzy topology: basic ideas, notions, and results}, Russ. Math. Surv., {\bf 44}\textbf{(6)} (1989), 125-186.
 \bibitem{Solovjovs2008a}
  S.~Solovjovs, {\it On a categorical generalization of the concept of fuzzy set: basic definitions, properties, examples}, VDM Verlag Dr. M\"{u}ller, 2008.
 \bibitem{Solovjovs2009}
  S.~Solovjovs, {\it Embedding topology into algebra}, In: U.~Bodenhofer, B.~De~Baets, E.~P. Klement, S.~Saminger-Platz, eds., Abstracts of the 30th Linz Seminar on Fuzzy Set Theory, Johannes Kepler Universit\"{a}t, Linz, (2009), 106-110.
 \bibitem{Solovyov2010c}
  S.~Solovyov, {\it Localification of variable-basis topological systems}, Quaest. Math., {\bf34(1)} (2011), 11-33.
 \bibitem{Solovyovl}
  S.~Solovyov, {\it On a generalization of the concept of state property system}, Soft Comput., to appear.
 \bibitem{Solovyovq}
  S.~Solovyov, {\it Powerset operator foundations for catalg fuzzy set theories}, Iranian Journal of Fuzzy Systems, {\bf 8(2)} (2011), 1-46.
 \bibitem{Solovyov2008d}
  S.~Solovyov, {\it Categorical frameworks for variable-basis sobriety and spatiality}, Math. Stud. Tartu, {\bf 4} (2008), 89-103.
 \bibitem{Solovyov2008b}
  S.~Solovyov, {\it Sobriety and spatiality in varieties of algebras}, Fuzzy Sets and Systems, {\bf 159}\textbf{(19)} (2008), 2567-2585.
 \bibitem{Solovyov2010a}
  S.~Solovyov, {\it Variable-basis topological systems versus variable-basis topological spaces}, Soft Comput.,
  {\bf 14}\textbf{(10)} (2010), 1059-1068.
 \bibitem{Vickers1989}
  S.~Vickers, {\it Topology via logic}, Cambridge University Press, 1989.
 \bibitem{Vickers1993}
  S.~Vickers, {\it Information systems for continuous posets}, Theor. Comput. Sci., {\bf 114}\textbf{(2)} (1993), 201-229.
 \bibitem{Wen2008}
  G. F. Wen, F. G. Shi and H. Y. Li, {\it Almost $S^*$-compactness in
  $L$-topological spaces},  Iranian Journal of Fuzzy Systems,
  {\bf 5}\textbf{(3)} (2008), 31-44.
 \bibitem{Zadeh1965}
  L.~A. Zadeh, {\it Fuzzy sets}, Information and Control, {\bf 8} (1965), 338-365.