Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
DOI10.1016/j.fss.2011.06.005zbMath1268.03071MaRDI QIDQ1759703
Publication date: 21 November 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2011.06.005
algebraic theory; \(C^{\ast}\)-algebra; quantaloid; Cauchy completion; Eilenberg-Moore category; weak subobject classifier; characteristic morphism; (involutive) quantale; (quasi-)presingleton; (sub)monad; complete De Morgan algebra; quantale fuzzy presubset; quantale preordered set; stable element of a quantale; truth arrow
03E72: Theory of fuzzy sets, etc.
18B25: Topoi
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
06F07: Quantales
18C20: Eilenberg-Moore and Kleisli constructions for monads
06A75: Generalizations of ordered sets
Related Items
Cites Work
- A non-commutative and non-idempotent theory of quantale sets
- Categorical approaches to non-commutative fuzzy logic
- Topoi. The categorial analysis of logic. Rev. ed
- Fuzzy submonoids, fuzzy preorders and quasi-metrics
- Fuzzy sets and sheaves. I: Basic concepts
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
- Fuzzy topology. I: Neighborhood structure of a fuzzy point and Moore-Smith convergence
- Frame-fuzzy points and membership
- Triangular norms
- An essay on noncommutative topology
- A theory of quantal sets
- L-fuzzy sets
- An extension of the Galois theory of Grothendieck
- Tensor Products and Bimorphisms
- Sheaves and Boolean valued model theory
- On the quantisation of points
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item