Distributive idempotents in an order-enriched category

MaRDI QIDQ6499418

Christopher F. Townsend

Publication date: 8 May 2024

Published in: Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

localedistributive latticetoposcategorical logicaxiomspowerlocalesorder enriched

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Frames, locales (06D22)

Cites Work

• Unnamed Item
• Unnamed Item
• An axiomatic account of weak triquotient assignments in locale theory
• A universal characterization of the double powerlocale
• Stability of properties of locales under groups
• Aspects of slice stability in locale theory
• A categorical account of the Hofmann–Mislove theorem
• An application of descent to a classification theorem for toposes
• Localic triquotient maps are effective descent maps

This page was built for publication: Distributive idempotents in an order-enriched category