Continuous triangular norm based fuzzy topology

For each continuous t-norm &, a class of fuzzy topological spaces, called &-topological spaces, is introduced. The motivation stems from the idea that to each many-valued logic there may correspond a theory of many-valued topology, in particular, each continuous t-norm may lead to a theory of fuzzy topology. It is shown that for each continuous t-norm &, the subcategory consisting of &-topological spaces is simultaneously reflective and coreflective in the category of fuzzy topological spaces, hence gives rise to an autonomous theory of fuzzy topology. Topologizing a fuzzy pre-ordered set with the fuzzy Scott topology yields a functor from the category of fuzzy pre-ordered sets and maps that preserve suprema of flat ideals to the category of &-topological spaces. It is proved that this functor is a full one if and only if the t-norm & is Archimedean.

[1]  Hongliang Lai,et al.  Flat ideals in the unit interval with the canonical fuzzy order , 2018, 1801.06060.

[2]  Dexue Zhang,et al.  Fuzzy preorder and fuzzy topology , 2006, Fuzzy Sets Syst..

[3]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[4]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

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

[6]  P. Wuyts,et al.  Stable subconstructs of FTS - III (exotic cases) , 1998, Fuzzy Sets Syst..

[7]  P. Mostert,et al.  On the Structure of Semigroups on a Compact Manifold With Boundary , 1957 .

[8]  R. Belohlávek Fuzzy Relational Systems: Foundations and Principles , 2002 .

[9]  Bernard De Baets,et al.  EQ-algebras , 2009, Fuzzy Sets Syst..

[10]  Radim Bělohlávek,et al.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[11]  Wei Yao,et al.  A Categorical Isomorphism Between Injective Stratified Fuzzy $T_{\bm 0}$ Spaces and Fuzzy Continuous Lattices , 2016, IEEE Transactions on Fuzzy Systems.

[12]  Dexue Zhang,et al.  An enriched category approach to many valued topology , 2007, Fuzzy Sets Syst..

[13]  Satoko Titani,et al.  Fuzzy logic and fuzzy set theory , 1992, Arch. Math. Log..

[14]  Petr Hájek,et al.  What is mathematical fuzzy logic , 2006, Fuzzy Sets Syst..

[15]  Robert Lowen,et al.  Stable subconstructs of FTS: Part II , 1995, Fuzzy Sets Syst..

[16]  Wei Li,et al.  Yoneda completeness and flat completeness of ordered fuzzy sets , 2016, Fuzzy Sets Syst..

[17]  Jean Goubault-Larrecq,et al.  Non-Hausdorff topology and domain theory , 2013 .

[18]  Dexue Zhang,et al.  Closedness of the category of liminf complete fuzzy orders , 2016, Fuzzy Sets Syst..

[19]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[20]  Dexue Zhang,et al.  Fuzzy topological spaces with conical neighborhood systems , 2018, Fuzzy Sets Syst..

[21]  Dexue Zhang,et al.  A comparative study of ideals in fuzzy orders , 2017, Fuzzy Sets Syst..

[22]  Steven Vickers,et al.  Localic completion of generalized metric spaces I , 2005 .

[23]  Marcello M. Bonsangue,et al.  Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding , 1995, Theor. Comput. Sci..

[24]  Kim Ritter Wagner,et al.  Liminf Convergence in Omega-Categories , 1997, Theor. Comput. Sci..

[25]  Dexue Zhang,et al.  Quantale-valued preorders: Globalization and cocompleteness , 2014, Fuzzy Sets Syst..

[26]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[27]  Robert C. Flagg,et al.  The essence of ideal completion in quantitative form , 2002, Theor. Comput. Sci..

[28]  Dexue Zhang,et al.  Coreflective hull of finite strong L-topological spaces , 2011, Fuzzy Sets Syst..

[29]  R. Lowen Fuzzy topological spaces and fuzzy compactness , 1976 .

[30]  U. Höhle,et al.  Characterization Of L-Topologies By L-Valued Neighborhoods , 1999 .

[31]  Dexue Zhang,et al.  Fundamental study: Complete and directed complete Ω-categories , 2007 .

[32]  Petr Hájek,et al.  Fss 5598 Modc+(sc) Triangular Norm Based Predicate Fuzzy Logics , 2022 .

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

[34]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.