Interweaving algebra and topology: Lattice-valued topological systems

This paper is primarily dedicated to understanding the natural role that topological systems and lattice-valued topological systems play in understanding the relationship between algebra and topology, a relationship expressed by an ''interweaving'' of embeddings of (essentially) algebraic and topological categories. This natural role is revealed by how various categories for systems relate to locales, topological spaces, and various categories for lattice-valued topology.

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

[2]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

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

[4]  Javier Gutiérrez García,et al.  Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued "intuitionistic" sets, "intuitionistic" fuzzy sets and topologies , 2005, Fuzzy Sets Syst..

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

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

[7]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[8]  Michael B. Smyth,et al.  Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.

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

[10]  Sujeet Shenoi,et al.  An equivalence classes model of fuzzy relational databases , 1990 .

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

[12]  Ulrich Höhle,et al.  A note on the hypergraph functor , 2002, Fuzzy Sets Syst..

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

[14]  Stephen E. Rodabaugh,et al.  Errata: Complete fuzzy topological hyperfields and fuzzy multiplication in the fuzzy real lines , 1986 .

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

[16]  A. Sostak,et al.  LOWER SET-VALUED FUZZY TOPOLOGIES , 1997 .

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

[18]  Ulrich Bodenhofer,et al.  Syntax-driven Analysis of Context-free Languages with Respect to Fuzzy Relational Semantics , 2006, 2006 IEEE International Conference on Fuzzy Systems.

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

[20]  Sergey A. Solovyov,et al.  Categorically algebraic topology versus universal topology , 2013, Fuzzy Sets Syst..

[21]  B. Buckles,et al.  A fuzzy representation of data for relational databases , 1982 .

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

[23]  S. E. Rodabaugh.  Fuzzy addition in the L-fuzzy real line , 1982 .

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

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

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

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