نتایج جستجو برای: system convenient variety ground categoryl fuzzy set localic algebra monadic category

تعداد نتایج: 3160459  

Journal: :iranian journal of fuzzy systems 2011
sergey a. solovyov

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

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...

Journal: :iranian journal of fuzzy systems 2015
sergey a. solovyov

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...

Journal: :iranian journal of fuzzy systems 2011
sergey a. solovyov

motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category   topsys   of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

Journal: :Soft Comput. 2010
Sergey A. Solovyov

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...

Journal: :iranian journal of fuzzy systems 2014
m. haddadi

lthough fuzzy set theory and  sheaf theory have been developed and studied independently,  ulrich hohle shows that a large part of fuzzy set  theory  is in fact a subfield of sheaf theory. many authors have studied mathematical structures, in particular, algebraic structures, in both  categories of these generalized (multi)sets. using hohle's idea, we show that for a (universal) algebra $a$, th...

2009
Manuel Abad Cecilia Rossana Cimadamore José Patricio Díaz Varela

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras a...

Journal: :Logic Journal of the IGPL 2009
Allen L. Mann

Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...

lthough fuzzy set theory and  sheaf theory have been developed and studied independently,  Ulrich Hohle shows that a large part of fuzzy set  theory  is in fact a subfield of sheaf theory. Many authors have studied mathematical structures, in particular, algebraic structures, in both  categories of these generalized (multi)sets. Using Hohle's idea, we show that for a (universal) algebra $A$, th...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید