Regularity vs. constructive complete (co)distributivity
From MaRDI portal
Publication:4563242
zbMath1396.18007arXiv1606.08930MaRDI QIDQ4563242
Publication date: 7 June 2018
Full work available at URL: https://arxiv.org/abs/1606.08930
quantalequantaloidGirard quantalecomplete distributivityKan adjunctionGirard quantaloidregular \(\mathcal{Q}\)-distributor
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Complete distributivity (06D10) Regular semigroups (20M17) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (3)
Completely distributive enriched categories are not always continuous ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Invariance of projective modules in \(\mathsf{Sup}\) under self-duality
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An introduction to quantaloid-enriched categories
- Preordered sets valued in a GL-monoid
- Completely and totally distributive categories. I.
- A non-commutative and non-idempotent theory of quantale sets
- On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem
- Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- Variation through enrichment
- Regularity and complete distributivity
- Regular elements of the semigroup of all binary relations
- Metamathematics of fuzzy logic
- Distributive laws for concept lattices
- Constructive complete distributivity. IV
- Regular relations and strictly completely regular ordered spaces.
- Triangular norms
- Weak subobjects and the epi-monic completion of a category.
- On the monad of proper factorisation systems in categories
- Totally distributive toposes
- On the structure of semigroups
- Duality for distributive space
- Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
- Algebraic Analysis of Many Valued Logics
- Constructive complete distributivity. I
- Quantales and (noncommutative) linear logic
- Girard quantaloids
- Metric spaces, generalized logic, and closed categories
- An Adjoint Characterization of the Category of Sets
- A Theorem on the Semigroup of Binary Relations
- On Regular Rings
This page was built for publication: Regularity vs. constructive complete (co)distributivity
