A non-commutative and non-idempotent theory of quantale sets

DOI10.1016/j.fss.2010.12.001zbMath1226.06011MaRDI QIDQ533140

Ulrich Höhle, Tomasz Kubiak

Publication date: 2 May 2011

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2010.12.001

zbMATH Keywords

\(C^*\)-algebra; topos; topological category; monad; quantaloid; quantaloid-enriched category; fuzzy subset; involutive quantale; quantale set; quantic frame

Mathematics Subject Classification ID

46L85: Noncommutative topology

03E72: Theory of fuzzy sets, etc.

18B25: Topoi

06F07: Quantales

18C20: Eilenberg-Moore and Kleisli constructions for monads

Related Items

Regularity vs. constructive complete (co)distributivity, Two types of Galois correspondences over quantaloid-typed sets, Unnamed Item, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, Lax distributive laws for topology, II, Function spaces based on L-sets, Unnamed Item, Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Some corollaries of the correspondence between partial metrics and multivalued equalities, Fundamental duality of abstract categories and its applications, An introduction to quantaloid-enriched categories, Categorical foundations of topology with applications to quantaloid enriched topological spaces, Fuzzy terms, Quantale-valued preorders: globalization and cocompleteness., Lattice-valued preordered sets as lattice-valued topological systems, Free \(Q\)-algebras., On the power-set \(Q\)-algebras, Preordered sets valued in a GL-monoid, \(\mathcal{Q}\)-closure spaces, Variety theorem for algebras with fuzzy orders, Stratified categorical fixed-basis fuzzy topological spaces and their duality, Roughness and fuzziness in quantales., Isomorphisms and functors of fuzzy sets and cut systems, Chu connections and back diagonals between \(\mathcal{Q}\)-distributors, Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras, Semitopological groups, semiclosure semigroups and quantales, Fuzzy Galois connections on fuzzy sets, Multi-adjoint concept lattices via quantaloid-enriched categories, The topology of a quantale valued metric space, A few notes on quantum \(B\)-algebras, Quantale-valued dissimilarity, On the injective hulls of quantum B-algebras, Towards probabilistic partial metric spaces: diagonals between distance distributions, Yoneda completeness and flat completeness of ordered fuzzy sets, The double power monad is the composite power monad, Sierpinski object for affine systems, Fixed points of adjoint functors enriched in a quantaloid, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry

Cites Work

• Categorical approaches to non-commutative fuzzy logic
• Topoi. The categorial analysis of logic. Rev. ed
• \(\mathcal Q\)-\(*\)-categories
• Fuzzy preorder and fuzzy topology
• Fuzzy submonoids, fuzzy preorders and quasi-metrics
• A compendium of fuzzy weak orders: representations and constructions
• Fuzzy sets and sheaves. I: Basic concepts
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Simple involutive quantales
• Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems
• Triangular norms
• \(GL\)-quantales: \(Q\)-valued sets and their singletons
• Numerical representation of transitive fuzzy relations
• An essay on noncommutative topology
• A theory of quantal sets
• A formal study of linearity axioms for fuzzy orderings
• Quantal sets and sheaves over quantales
• Contrapositive symmetry of fuzzy implications
• Foundations of fuzzy sets
• Many valued topologies and lower semicontinuity
• An extension of the Galois theory of Grothendieck
• Metric spaces, generalized logic, and closed categories
• Tensor Products and Bimorphisms
• Sheaves and Boolean valued model theory
• Partial Metric Topology
• Introduction to bicategories
• Partial metrizability in value quantales
• Probabilistic Geometry
• 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
• 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