Variable-basis Categorically-algebraic Dualities
نویسندگان
چکیده
منابع مشابه
Categorically-algebraic topology
This talk aims at presenting a new way of approaching topological structures, induced by recent developments in the eld of lattice-valued topology, and deemed to incorporate in itself both crisp and many-valued settings. Based on category theory and universal algebra, the new framework is called categorically-algebraic (catalg) [9-12], to underline its motivating theories, on one hand, and to d...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملcategorically-algebraic topology and its applications
this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...
متن کاملVariable-basis topological systems versus variable-basis topological spaces
LoA) and τ is a subalgebra of A . Morphisms (X,A, τ) (f,φ) −−−→ (Y,B, σ) are Set × LoA-morphisms (X,A) (f,φ) −−−→ (Y,B) such that φ ◦ p ◦ f ∈ τ for every p ∈ σ (the so-called continuity). Our definition subsumes the traditional latticevalued approach of [2]. The motivation for the new concept was provided by the problem of doing fuzzy mathematics without order. In [1] the authors consider a rel...
متن کاملSProc Categorically
We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes Abr93]: SProc is isomorphic to a span category on a category of traces. The signiicance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unnecessary | a simple categorical description exists. Furthermore, the techniques employed in the reconstruction sugg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Information and Engineering
سال: 2014
ISSN: 1616-8658,1616-8666
DOI: 10.1016/j.fiae.2015.01.001