Geodesic
Distributive idempotents in an order-enriched category
Theory and applications of categories, Bunge Festschrift, Tome 40 (2024), pp. 278-300

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We introduce distributive maps between lattices and consider the categorical assumption that distributive idempotents split. We explore this assumption in the context of a categorical axiomatization of the category of locales. The assumption is shown to be stable under groupoids (this includes slice stability) and we further show that it implies that triquotient surjections are effective descent morphisms. This result follows even without assuming that the underlying (axiomatized) category of locales has coequalizers.

Publié le :
Classification : 06D22, 03G30
Keywords: Locale, topos, categorical logic, powerlocales, order enriched, distributive lattice, axioms 
@article{TAC_2024_40_a8,
     author = {Christopher Townsend},
     title = {Distributive idempotents in an order-enriched category},
     journal = {Theory and applications of categories},
     pages = {278--300},
     publisher = {mathdoc},
     volume = {40},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_40_a8/}
}
TY  - JOUR
AU  - Christopher Townsend
TI  - Distributive idempotents in an order-enriched category
JO  - Theory and applications of categories
PY  - 2024
SP  - 278
EP  - 300
VL  - 40
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_40_a8/
LA  - en
ID  - TAC_2024_40_a8
ER  - 
%0 Journal Article
%A Christopher Townsend
%T Distributive idempotents in an order-enriched category
%J Theory and applications of categories
%D 2024
%P 278-300
%V 40
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_40_a8/
%G en
%F TAC_2024_40_a8
Christopher Townsend. Distributive idempotents in an order-enriched category. Theory and applications of categories, Bunge Festschrift, Tome 40 (2024), pp. 278-300. http://geodesic.mathdoc.fr/item/TAC_2024_40_a8/