A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety

This paper gives a survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction between the categories of topological spaces and locales as well as the related concept of sobriety. It then establishes categorical isomorphisms between Yao-L-frames, Zhang-Liu-L-frames and L-algebras. Lastly, it studies the relationships between L-sobriety, modified L-sobriety and @i"L-sobriety. The obtained results suggest that modified L-sobriety is the most fruitful notion between the above concepts of lattice-valued sobriety.

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

[2]  K. I. Rosenthal.  The Theory of Quantaloids , 1996 .

[3]  Fu-Gui Shi,et al.  Quantitative domains via fuzzy sets: Part II: Fuzzy Scott topology on fuzzy directed-complete posets , 2011, Fuzzy Sets Syst..

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

[5]  N. Nakajima,et al.  Generalized fuzzy sets , 1989 .

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

[7]  Sergey A. Solovyov,et al.  Sobriety and spatiality in varieties of algebras , 2008, Fuzzy Sets Syst..

[8]  Fu-Gui Shi,et al.  A note on specialization L-preorder of L-topological spaces, L-fuzzifying topological spaces, and L-fuzzy topological spaces , 2008, Fuzzy Sets Syst..

[9]  Jan Paseka,et al.  Algebraic and Categorical Aspects of Quantales , 2008 .

[10]  Pierre Antoine Grillet.  Abstract Algebra (Graduate Texts in Mathematics) , 2007 .

[11]  Dona Papert,et al.  Sur les treillis des ouverts et les paratopologies , 1958 .

[12]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[13]  Tomasz Kubiak,et al.  On L -Tychonoff spaces , 1995 .

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

[15]  Sergey A. Solovyov,et al.  From quantale algebroids to topological spaces: Fixed- and variable-basis approaches , 2010, Fuzzy Sets Syst..

[16]  Jürgen Schmidt,et al.  Beiträge zur Filtertheorie. II , 1952 .

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

[18]  Liu Ying-Ming,et al.  L -fuzzy version of Stone's representation theorem for distributive lattices , 1995 .

[19]  Javier Gutiérrez García,et al.  On lattice-valued frames: The completely distributive case , 2010, Fuzzy Sets Syst..

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

[21]  Emil Popescu,et al.  On Galois Connexions , 1994 .

[22]  Wei Yao,et al.  An approach to fuzzy frames via fuzzy posets , 2011, Fuzzy Sets Syst..

[23]  A. Pultr,et al.  Examples For Different Sobrieties In Fixed-Basis Topology , 2003 .

[24]  Wei Yao,et al.  Fuzzy Galois connections on fuzzy posets , 2009, Math. Log. Q..

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

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

[27]  John R. Isbell,et al.  Atomless Parts of Spaces. , 1972 .

[28]  C.J.H. Mann,et al.  Fuzzy Relational Systems: Foundations and Principles , 2003 .

[29]  Sergey A. Solovyov,et al.  On fuzzification of the notion of quantaloid , 2010, Kybernetika.

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

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

[32]  Stephen Ernest Rodabaugh,et al.  Relationship of algebraic theories to powersets over objects in Set and Set × C , 2010, Fuzzy Sets Syst..

[33]  Wei Yao,et al.  Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets , 2010, Fuzzy Sets Syst..

[34]  Isar Stubbe,et al.  Categorical structures enriched in a quantaloid: tensored and cotensored categories , 2004, math/0411366.

[35]  U. Höhle,et al.  Applications of category theory to fuzzy subsets , 1992 .

[36]  A. Pultr,et al.  Category theoretic aspects of chain-valued frames: Part I: Categorical and presheaf theoretic foundations , 2008, Fuzzy Sets Syst..

[37]  De-Xue Zhang,et al.  L-fuzzy version of Stone's representation theorem for distributive lattices , 1995, Fuzzy Sets Syst..

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

[39]  Marcel Erné,et al.  Adjunctions and Galois Connections: Origins, History and Development , 2004 .

[40]  H. O. Foulkes.  Abstract Algebra , 1967, Nature.

[41]  Stephen Ernest Rodabaugh.  Necessity of non-stratified and anti-stratified spaces in lattice-valued topology , 2010, Fuzzy Sets Syst..

[42]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[43]  Mustafa Demirci,et al.  Pointed semi-quantales and lattice-valued topological spaces , 2010, Fuzzy Sets Syst..

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

[45]  John N. Mordeson,et al.  Fuzzy Topological Spaces , 2001 .

[46]  Lei Fan,et al.  A New Approach to Quantitative Domain Theory , 2001, MFPS.

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