ALGEBRAICALLY-TOPOLOGICAL SYSTEMS AND ATTACHMENTS

Document Type : Research Paper

Authors

1 Department of Mathematics \E. De Giorgi", University of Salento, P. O. Box 193, 73100 Lecce, Italy

2 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

The paper continues the study of the authors on relationships between \emph{topological systems} of S.~Vickers and \emph{attachments} of C.~Guido. We extend topological systems to \emph{algebraically-topological systems}. A particular instance of the latter, called \emph{attachment system}, incorporates the notion of attachment, thus, making it categorically redundant in mathematics. We show that attachment systems are equipped with an internal topology, which is  similar to the topology induced by locales. In particular, we provide an attachment system analogue of the well-known categorical equivalence between sober topological spaces and spatial locales.

Keywords


[1] M. Abel and A. Sostak, Towards the theory of L-bornological spaces, Iranian Journal of Fuzzy
Systems, 8(1) (2011), 19{28.
[2] J. Adamek, H. Herrlich and G. E. Strecker, Abstract and concrete categories: the joy of cats,
Dover Publications (Mineola, New York), 2009.
[3] D. Aerts, E. Colebunders, A. van der Voorde and B. van Steirteghem, State property systems
and closure spaces: a study of categorical equivalence, Int. J. Theor. Phys., 38(1) (1999),
359{385.
[4] D. Aerts, E. Colebunders, A. van der Voorde and B. van Steirteghem, On the amnestic
modi cation of the category of state property systems, Appl. Categ. Struct., 10(5) (2002),
469{480.
[5] F. Bayoumi and S. E. Rodabaugh, Overview and comparison of localic and xed-basis topo-
logical products, Fuzzy Sets and Systems, 161(18) (2010), 2397{2439.
[6] J. Benabou, Treillis locaux et paratopologies, Semin. de Topologie et de Geometrie di erentielle
Ch. Ehresmann, 1(2) (1957/58).
[7] C. L. Chang, Fuzzy topological spaces, J. Math. Anal. Appl., 24 (1968), 182{190.
[8] D. M. Clark and B. A. Davey, Natural dualities for the working algebraist, Cambridge Studies
in Advanced Mathematics, Cambridge University Press, 57 (1998).
[9] P. M. Cohn, Universal algebra, D. Reidel Publ. Comp., 1981.
[10] J. T. Denniston, A. Melton and S. E. Rodabaugh, 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 Universitat, Linz, 2009.
[11] J. T. Denniston, A. Melton and S. E. Rodabaugh, Lattice-valued predicate transformers and
interchange systems, In: P. Cintula, E. P. Klement, L. N. Stout, eds., Abstracts of the 31st
Linz Seminar on Fuzzy Set Theory, Johannes Kepler Universitat, Linz, 2010.
[12] J. T. Denniston, A. Melton and S. E. Rodabaugh, Interweaving algebra and topology: Lattice-
valued topological systems, Fuzzy Sets and Systems, 192 (2012), 58{103.
[13] J. T. Denniston and S. E. Rodabaugh, Functorial relationships between lattice-valued topology
and topological systems, Quaest. Math., 32(2) (2009), 139{186.
[14] C. H. Dowker and D. Papert, On Urysohn's lemma, General Topology and its Relations to
modern Analysis and Algebra 2, Proc. 2nd Prague topol. Sympos. 1966, (1967), 111{114.
[15] C. H. Dowker and D. Papert, Quotient frames and subspaces, Proc. Lond. Math. Soc., III(16)
(1966), 275{296.
[16] C. H. Dowker and D. Papert Strauss, Separation axioms for frames, Topics in Topol., Colloqu.
Keszthely 1972, Colloquia Math. Soc. Janos Bolyai, 8 (1974), 223{240.
[17] C. Ehresmann, Gattungen von lokalen Strukturen, Jahresber. Dtsch. Math.-Ver., 60 (1957),
49{77.
[18] A. Frascella, Attachment and topological systems in varieties of algebras, Ph.D. thesis, Department
of Mathematics \Ennio De Giorgi", University of Salento, Italy, 2011.
[19] A. Frascella, C. Guido and S. Solovyov, Dual attachment pairs in categorically-algebraic
topology, Appl. Gen. Topol., 12(2) (2011), 101{134.
[20] G. Gierz, K. Hofmann and etc., Continuous lattices and domains, Cambridge University
Press, 2003.
[21] J. A. Goguen, L-fuzzy sets, J. Math. Anal. Appl., 18 (1967), 145{174.
[22] J. A. Goguen, The fuzzy Tychono theorem, J. Math. Anal. Appl., 43 (1973), 734{742.
[23] C. Guido, Fuzzy points and attachment, Fuzzy Sets and Systems, 161(16) (2010), 2150{2165.
[24] C. Guido and V. Scarciglia, L-topological spaces as spaces of points, Fuzzy Sets and Systems,
173(1) (2011), 45{59.
[25] C. Guido and S. Solovyov, Topological systems versus attachment relation, submitted.
[26] J. Gutierrez Garca and S. E. Rodabaugh, Order-theoretic, topological, categorical redun-
dancies of interval-valued sets, grey sets, vague sets, interval-valued \intuitionistic" sets,
\intuitionistic" fuzzy sets and topologies, Fuzzy Sets and Systems, 156(3) (2005), 445{484.
[27] U. Hohle, A note on the hypergraph functor, Fuzzy Sets and Systems, 131(3) (2002), 353{356.
[28] U. Hohle and A. P. Sostak, Axiomatic foundations of xed-basis fuzzy topology, In: U. Hohle,
S. E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory,
The Handbooks of Fuzzy Sets Series, Kluwer Academic Publishers, 3 (1999), 123{272.
[29] B. Hutton, Uniformities on fuzzy topological spaces, J. Math. Anal. Appl., 58 (1977), 559{
571.
[30] B. Hutton, Products of fuzzy topological spaces, Topology Appl., 11 (1980), 59{67.
[31] J. R. Isbell, Atomless parts of spaces, Math. Scand., 31 (1972), 5{32.
[32] G. Jager, Lattice-valued categories of lattice-valued convergence spaces, Iranian Journal of
Fuzzy Systems, 8(2) (2011), 67{89.
[33] P. T. Johnstone, Stone spaces, Cambridge University Press, 1982.
[34] G. M. Kelly, Basic concepts of enriched category theory, Cambridge University Press, 1982.
[35] J. C. Kelly, Bitopological spaces, Proc. Lond. Math. Soc., 13(III) (1963), 71{89.
[36] D. Kruml and J. Paseka, Algebraic and categorical aspects of quantales, In: M. Hazewinkel,
ed., Handbook of Algebra, Elsevier, 5 (2008), 323{362.
[37] T. Kubiak and A. Sostak, Foundations of the theory of (L;M)-fuzzy topological spaces, 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 Universitat, Linz, 2009.
[38] F. W. Lawvere, Functorial semantics of algebraic theories, Ph.D. thesis, Columbia University,
1963.
[39] R. Lowen, Fuzzy topological spaces and fuzzy compactness, J. Math. Anal. Appl., 56 (1976),
621{633.
[40] S. Mac Lane, Categories for the Working Mathematician, 2nd ed., Springer-Verlag, 1998.
[41] E. G. Manes, Algebraic theories, Springer-Verlag, 1976.
[42] L. Pontrjagin, Topological groups, Oxford University Press, 1939.
[43] P. M. Pu and Y. M. Liu, Fuzzy topology I: neighborhood structure of a fuzzy point and
Moore-Smith convergence, J. Math. Anal. Appl., 76 (1980), 571{599.
[44] S. E. Rodabaugh, Categorical frameworks for stone representation theories, In: S. E. Rodabaugh,
E. P. Klement, U. Hohle, eds., Applications of Category Theory to Fuzzy Subsets,
Theory and Decision Library: Series B: Mathematical and Statistical Methods, Kluwer Academic
Publishers, 14 (1992), 177{231.
[45] S. E. Rodabaugh, Powerset operator based foundation for point-set lattice-theoretic (poslat)
fuzzy set theories and topologies, Quaest. Math., 20(3) (1997), 463{530.
[46] S. E. Rodabaugh, Categorical foundations of variable-basis fuzzy topology, In: U. Hohle,
S. E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory,
The Handbooks of Fuzzy Sets Series, Dordrecht: Kluwer Academic Publishers, 3 (1999),
273{388.
[47] S. E. Rodabaugh, Powerset operator foundations for poslat fuzzy set theories and topologies,
In: U. Hohle, S. E. Rodabaugh, eds., Mathematics of Fuzzy Sets: Logic, Topology and Measure
Theory, The Handbooks of Fuzzy Sets Series, Dordrecht: Kluwer Academic Publishers,
3 (1999), 91{116.
[48] S. E. Rodabaugh, Relationship of algebraic theories to powerset theories and fuzzy topological
theories for lattice-valued mathematics, Int. J. Math. Math. Sci., 2007 (2007), 1{71.
[49] S. E. Rodabaugh, Functorial comparisons of bitopology with topology and the case for redun-
dancy of bitopology in lattice-valued mathematics, Appl. Gen. Topol., 9(1) (2008), 77{108.
[50] S. E. Rodabaugh, Necessity of non-strati ed and anti-strati ed spaces in lattice-valued topol-
ogy, Fuzzy Sets and Systems, 161(9) (2010), 1253{1269.
[51] S. E. Rodabaugh, Relationship of algebraic theories to powersets over objects in Set and
SetC, Fuzzy Sets and Systems, 161(3) (2010), 453{470.
[52] K. I. Rosenthal, Quantales and their applications, Pitman Research Notes in Mathematics,
Addison Wesley Longman, 234 (1990).
[53] J. D. H. Smith, Modes and modals, Discuss. Math., Algebra Stoch. Methods, 19(1) (1999),
9{40.
[54] S. Solovjovs, 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 Universitat, Linz, 2009.
[55] S. Solovjovs, Categorically-algebraic topology, In: Abstracts of the International Conference
on Algebras and Lattices (Jardafest), Charles University, Prague, 2010.
[56] S. Solovjovs, Lattice-valued categorically-algebraic topology, In: Abstracts of the 91st Peripatetic
Seminar on Sheaves and Logic (PSSL 91), University of Amsterdam, Amsterdam,
2010.
[57] S. Solovjovs, Variable-basis categorically-algebraic dualities, In: D. Dubois, M. Grabisch,
R. Mesiar, E. P. Klement, eds., Abstracts of the 32nd Linz Seminar on Fuzzy Set Theory,
2011.
[58] S. Solovyov, Categorically-algebraic topology and its applications, submitted.
[59] S. Solovyov, Sobriety and spatiality in varieties of algebras, Fuzzy Sets and Systems, 159(19)
(2008), 2567{2585.
[60] S. Solovyov, Categorically-algebraic dualities, Acta Univ. M. Belii, Ser. Math., 17 (2010),
57{100.
[61] S. Solovyov, Hypergraph functor and attachment, Fuzzy Sets and Systems, 161(22) (2010),
2945{2961.
[62] S. Solovyov, Variable-basis topological systems versus variable-basis topological spaces, Soft
Comput., 14(10) (2010), 1059{1068.
[63] S. Solovyov, Locali cation of variable-basis topological systems, Quaest. Math., 34(1) (2011),
11{33.
[64] S. Solovyov, On algebraic and coalgebraic categories of variety-based topological systems,
Iranian Journal of Fuzzy Systems, 8(5) (2011), 13{30.
[65] S. Solovyov, Powerset operator foundations for catalg fuzzy set theories, Iranian Journal of
Fuzzy Systems, 8(2) (2011), 1{46.
[66] S. Solovyov, Categorical foundations of variety-based topology and topological systems, Fuzzy
Sets and Systems, 192 (2012), 176{200.
[67] S. Vickers, Topology via logic, Cambridge University Press, 1989.
[68] L. A. Zadeh, Fuzzy sets, Information and Control, 8 (1965), 338{365.
[69] Q. Y. Zhang, Algebraic generations of some fuzzy powerset operators, Iranian Journal of
Fuzzy Systems, 8(5) (2011), 31{58.