Regularity vs. constructive complete (co)distributivity

MaRDI QIDQ4563242zbMATH OpenFDO

Authors Hongliang Lai, Lili Shen

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1606.08930, http://www.tac.mta.ca/tac/volumes/33/18/33-18abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

complete distributivityGirard quantaleGirard quantaloidKan adjunctionquantalequantaloidregular \(\mathcal{Q}\)-distributor

Mathematics Subject Classification ID

Complete distributivity (06D10) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Regular semigroups (20M17)

Abstract: It is well known that a relation $varphi$ between sets is regular if, and only if, $mathcalKvarphi$ is completely distributive (cd), where $mathcalKvarphi$ is the complete lattice consisting of fixed points of the Kan adjunction induced by $varphi$. For a small quantaloid $mathcalQ$, we investigate the $mathcalQ$-enriched version of this classical result, i.e., the regularity of $mathcalQ$-distributors versus the constructive complete distributivity (ccd) of $mathcalQ$-categories, and prove that "the dual of $mathcalKvarphi$ is (ccd) $implies$ $varphi$ is regular $implies$ $mathcalKvarphi$ is (ccd)" for any $mathcalQ$-distributor $varphi$. Although the converse implications do not hold in general, in the case that $mathcalQ$ is a commutative integral quantale, we show that these three statements are equivalent for any $varphi$ if, and only if, $mathcalQ$ is a Girard quantale.

Recommendations

• Constructive complete distributivity II
• Constructive complete distributivity. I
• Constructive Complete Distributivity III
• Constructive complete distributivity. IV
• scientific article; zbMATH DE number 2096468
• scientific article; zbMATH DE number 700545
• Between regularity and complete regularity and a factorization of complete regularity
• Boundedness and complete distributivity
• scientific article; zbMATH DE number 7696889
• Rationality, regularity, and 𝐶₂-cofiniteness

Cites work

• A non-commutative and non-idempotent theory of quantale sets
• A Theorem on the Semigroup of Binary Relations
• Algebraic Analysis of Many Valued Logics
• An Adjoint Characterization of the Category of Sets
• An introduction to quantaloid-enriched categories
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Categories enriched over a quantaloid: algebras
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
• Completely and totally distributive categories. I.
• Constructive complete distributivity. I
• Constructive complete distributivity. IV
• Distributive laws for concept lattices
• Duality for distributive spaces
• Girard quantaloids
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• scientific article; zbMATH DE number 3203829 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Metric spaces, generalized logic, and closed categories
• On Regular Rings
• On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem
• On the monad of proper factorisation systems in categories
• On the structure of semigroups
• Preordered sets valued in a GL-monoid
• Quantales and (noncommutative) linear logic
• Regular elements of the semigroup of all binary relations
• Regular relations and strictly completely regular ordered spaces.
• Regularity and complete distributivity
• Totally distributive toposes
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Triangular norms
• Variation through enrichment
• Weak subobjects and the epi-monic completion of a category.

Cited in

(5)

• Invariance of projective modules in \(\mathsf{Sup}\) under self-duality
• scientific article; zbMATH DE number 2096468 (Why is no real title available?)
• Dualizing sup-preserving endomaps of a complete lattice
• Completely distributive enriched categories are not always continuous
• Diagonals between \(\mathcal{Q}\)-distributors

This page was built for publication: Regularity vs. constructive complete (co)distributivity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563242)