Distributive idempotents in an order-enriched category

MaRDI QIDQ6499418FDOQ6499418

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

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

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)