Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics

This paper deals with a broad question—to what extent is topology algebraic—using two specific questions: (1) what are the algebraic conditions on the underlying membership lattices which insure that categories for topology and fuzzy topology are indeed topological categories; and (2) what are the algebraic conditions which insure that algebraic theories in the sense of Manes are a foundation for the powerset theories generating topological categories for topology and fuzzy topology? This paper answers the first question by generalizing the Hohle-Sostak foundations for fixed-basis lattice-valued topology and the Rodabaugh foundations for variable-basis lattice-valued topology using semi-quantales; and it answers the second question by giving necessary and sufficient conditions under which certain theories—the very ones generating powerset theories generating (fuzzy) topological theories in the sense of this paper—are algebraic theories, and these conditions use unital quantales. The algebraic conditions answering the second question are much stronger than those answering the first question. The syntactic benefits of having an algebraic theory as a foundation for the powerset theory underlying a (fuzzy) topological theory are explored; the relationship between these two specific questions is discussed; the role of pseudo-adjoints is identified in variable-basis powerset theories which are algebraically generated; the relationships between topological theories in the sense of Adamek-Herrlich-Strecker and topological theories in the sense of this paper are fully resolved; lower-image operators introduced for fixed-basis mathematics are completely described in terms of standard image operators; certain algebraic theories are given which determine powerset theories determining a new class of variable-basis categories for topology and fuzzy topology using new preimage operators; and the theories of this paper are undergirded throughout by several extensive inventories of examples.

[1]  Sergey A. Solovyov,et al.  Categories of lattice-valued sets as categories of arrows , 2006, Fuzzy Sets Syst..

[2]  Cosimo Guido,et al.  Fuzzy topological properties and hereditariness , 2003, Fuzzy Sets Syst..

[3]  U. Höhle,et al.  A general theory of fuzzy topological spaces , 1995 .

[4]  A. Sostak.  On a fuzzy topological structure , 1985 .

[5]  W. Kotzé.  Lifting Of Sobriety Concepts With Particular Reference To (L, M)-Topological Spaces , 2003 .

[6]  U. Höhle.  Fuzzy sets and sheaves. Part II , 2007 .

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

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

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

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

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

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

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

[14]  Cosimo Guido,et al.  THE SUBSPACE PROBLEM IN THE TRADITIONAL POINT-SET CONTEXT OF FUZZY TOPOLOGY , 1997 .

[15]  A. Sostak,et al.  On Some Fuzzy Categories Related To Category L-TOP Of L-Topological Spaces , 2003 .

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

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

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

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

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

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

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

[23]  C. J. Mulvey,et al.  Quantales: Quantal sets , 1995 .

[24]  Cosimo Guido,et al.  Structured lattices and ground categories of L-sets , 2005, Int. J. Math. Math. Sci..

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

[26]  Stephen E. Rodabaugh,et al.  Separation Axioms: Representation Theorems, Compactness, and Compactifications , 1999 .

[27]  Cosimo Guido,et al.  Some remarks on fuzzy powerset operators , 2002, Fuzzy Sets Syst..

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

[29]  Ulrich Höhle,et al.  Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory , 1998 .

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

[31]  Stephen E. Rodabaugh,et al.  Axiomatic Foundations For Uniform Operator Quasi-Uniformities , 2003 .

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

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

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

[35]  Alexander P. Sostak,et al.  FUZZY SYNTOPOGENEOUS STRUCTURES , 1997 .

[36]  S. Jenei.  Structure Of Girard Monoids On [0,1] , 2003 .