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

DOI10.1016/j.fss.2010.12.001zbMath1226.06011OpenAlexW2005254643MaRDI 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^*\)-algebratopostopological categorymonadquantaloidquantaloid-enriched categoryfuzzy subsetinvolutive quantalequantale setquantic frame

Mathematics Subject Classification ID

Noncommutative topology (46L85) Theory of fuzzy sets, etc. (03E72) Topoi (18B25) Quantales (06F07) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (44)

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 ⋮ Lax distributive laws for topology, II ⋮ 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 ⋮ Function spaces based on L-sets ⋮ Unnamed Item ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Isomorphisms and functors of fuzzy sets and cut systems ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Preordered sets valued in a GL-monoid ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantale-valued dissimilarity ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Variety theorem for algebras with fuzzy orders ⋮ Regularity vs. constructive complete (co)distributivity ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ Stratified categorical fixed-basis fuzzy topological spaces and their duality ⋮ Roughness and fuzziness in quantales. ⋮ Multi-adjoint concept lattices via quantaloid-enriched categories ⋮ The topology of a quantale valued metric space ⋮ Semitopological groups, semiclosure semigroups and quantales ⋮ Fuzzy Galois connections on fuzzy sets ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ A few notes on quantum \(B\)-algebras ⋮ Unnamed Item ⋮ On the injective hulls of quantum B-algebras ⋮ Towards probabilistic partial metric spaces: diagonals between distance distributions ⋮ 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

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

This page was built for publication: A non-commutative and non-idempotent theory of quantale sets