Distributive idempotents in an order-enriched category

MaRDI QIDQ6499418zbMATH OpenFDO

Authors Christopher F. Townsend

Publication date 8 May 2024

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

zbMATH Keywords

categorical logictoposlocaledistributive latticeaxiomspowerlocalesorder enriched

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• A categorical account of the Hofmann–Mislove theorem
• A universal characterization of the double powerlocale
• An application of descent to a classification theorem for toposes
• An axiomatic account of weak triquotient assignments in locale theory
• Aspects of slice stability in locale theory
• Double power monad preserving adjunctions are Frobenius
• Localic triquotient maps are effective descent maps
• Stability of properties of locales under groups

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

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