Regularity vs. constructive complete (co)distributivity
Category Theory
2018-05-31 v2
Abstract
It is well known that a relation between sets is regular if, and only if, is completely distributive (cd), where is the complete lattice consisting of fixed points of the Kan adjunction induced by . For a small quantaloid , we investigate the -enriched version of this classical result, i.e., the regularity of -distributors versus the constructive complete distributivity (ccd) of -categories, and prove that "the dual of is (ccd) is regular is (ccd)" for any -distributor . Although the converse implications do not hold in general, in the case that is a commutative integral quantale, we show that these three statements are equivalent for any if, and only if, is a Girard quantale.
Cite
@article{arxiv.1606.08930,
title = {Regularity vs. constructive complete (co)distributivity},
author = {Hongliang Lai and Lili Shen},
journal= {arXiv preprint arXiv:1606.08930},
year = {2018}
}
Comments
31 pages, final version