An introduction to quantaloid-enriched categories
From MaRDI portal
Publication:277336
DOI10.1016/j.fss.2013.08.009zbMath1335.18002OpenAlexW2090781610MaRDI QIDQ277336
Publication date: 29 April 2016
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2013.08.009
Theory of fuzzy sets, etc. (03E72) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)
Related Items
Lax distributive laws for topology, II ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ The double power monad is the composite power monad ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Injective hulls of quantale-enriched multicategories ⋮ Unnamed Item ⋮ Reflectors to quantales ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ The continuous weak order ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantale-valued dissimilarity ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Convergence and quantale-enriched categories ⋮ Regularity vs. constructive complete (co)distributivity ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Hausdorff coalgebras ⋮ Stratified categorical fixed-basis fuzzy topological spaces and their duality ⋮ Value semigroups, value quantales, and positivity domains ⋮ Multi-adjoint concept lattices via quantaloid-enriched categories ⋮ Stone duality, topological algebra, and recognition. ⋮ Fuzzy Galois connections on fuzzy sets ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups ⋮ Extending set functors to generalised metric spaces ⋮ Unnamed Item ⋮ Duality theory for enriched Priestley spaces ⋮ On injective constructions of \(S\)-semigroups ⋮ Towards probabilistic partial metric spaces: diagonals between distance distributions
Cites Work
- Quantale-valued preorders: globalization and cocompleteness.
- Elementary characterisation of small quantaloids of closed cribles
- A non-commutative and non-idempotent theory of quantale sets
- Approximation in quantale-enriched categories
- Probabilistic metric spaces as enriched categories
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- On the structure of semi-groups on a compact manifold with boundary
- Free quantaloids
- Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Variation through enrichment
- The closure of a class of colimits
- Sheaves on sites as Cauchy-complete categories
- Metamathematics of fuzzy logic
- Modulated bicategories
- Triangular norms
- On the monad of proper factorisation systems in categories
- Quantaloids, enriched categories and automata theory
- Grothendieck quantaloids for allegories of enriched categories
- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- Sur quelques points d'algèbre homologique
- ENRICHED CATEGORIES AND COHOMOLOGY
- Cauchy characterization of enriched categories
- An extension of the Galois theory of Grothendieck
- 'Hausdorff distance' via conical cocompletion
- Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
- Metric spaces, generalized logic, and closed categories
- Quantales, observational logic and process semantics
- Introduction to bicategories
- General Theory of Natural Equivalences
- Compact Semigroups Irreducibly Connected Between Two Idempotents
- 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
