Hypergraph functor and attachment

Using an arbitrary variety of algebras, the paper introduces a fuzzified version of the notion of attachment in a complete lattice of Guido, to provide a common framework for the concept of hypergraph functor considered by different authors in the literature. The new notion also gives rise to a category of variable-basis topological spaces which is a proper supercategory of the respective category of Rodabaugh.

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

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

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

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

[5]  S. Solovyov.  Localification of variable-basis topological systems , 2011 .

[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]  Pu Pao-Ming,et al.  Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence , 1980 .

[8]  Diederik Aerts,et al.  State Property Systems and Closure Spaces: A Study of Categorical Equivalence , 1999 .

[9]  H. Martin,et al.  Weakly induced fuzzy topological spaces , 1980 .

[10]  Diederik Aerts,et al.  On the Amnestic Modification of the Category of State Property Systems , 2002, Appl. Categorical Struct..

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

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

[13]  Sergey A. Solovyov,et al.  Fuzzy algebras as a framework for fuzzy topology , 2011, Fuzzy Sets Syst..

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

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

[16]  Pedro Resende,et al.  Quantales, finite observations and strong bisimulation , 2001, Theor. Comput. Sci..

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

[18]  Giangiacomo Gerla,et al.  Representations of fuzzy topologies , 1983 .

[19]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[20]  George Gratzer,et al.  Universal Algebra , 1979 .

[21]  Ales Pultr,et al.  Category theoretic aspects of chain-valued frames: Part II: Applications to lattice-valued topology , 2008, Fuzzy Sets Syst..

[22]  Stephen E. Rodabaugh,et al.  The Hausdorff separation axiom for fuzzy topological spaces , 1980 .

[23]  R. Lowen.  A Comparison of Different Compactness Notions in Fuzzy Topological Spaces , 1978 .

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

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

[26]  Tomasz Kubiak,et al.  FUZZY TOPOLOGIES OF SCOTT CONTINUOUS FUNCTIONS AND THEIR RELATION TO THE HYPERGRAPH FUNCTOR , 1992 .

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

[28]  Stephen E. Rodabaugh,et al.  Fuzzy Real Lines And Dual Real Lines As Poslat Topological, Uniform, And Metric Ordered Semirings With Unity , 1999 .

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

[30]  S. Solovyov.  CATEGORICALLY-ALGEBRAIC DUALITIES , 2010 .

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

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

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

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

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

[36]  Steven J. Vickers,et al.  Quantales, observational logic and process semantics , 1993, Mathematical Structures in Computer Science.

[37]  S. Weber.  A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms , 1983 .

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

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