Representing geometric morphisms using power locale monads

DOI10.1007/S10485-011-9258-ZMaRDI QIDQ1937980zbMATH OpenOpenAlexFDO

Authors Christopher F. Townsend

Publication date 1 February 2013

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.0287

zbMATH Keywords

monadtoposgeometric morphismpower locale

Mathematics Subject Classification ID

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

Abstract: It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order enrichment and commute with both the upper and the lower power locale monads.

Recommendations

• A representation theorem for geometric morphisms
• Double power monad preserving adjunctions are Frobenius
• Cartesian monads on toposes
• Presenting locale pullback via directed complete posets
• Principal bundles as Frobenius adjunctions with application to geometric morphisms

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• A categorical account of the Hofmann–Mislove theorem
• A representation theorem for geometric morphisms
• A universal characterization of the double powerlocale
• An axiomatic account of weak triquotient assignments in locale theory
• An extension of the Galois theory of Grothendieck
• Localic triquotient maps are effective descent maps
• Presenting locale pullback via directed complete posets
• The formal theory of monads

Cited in

(6)

• Double power monad preserving adjunctions are Frobenius
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• Towards higher topology
• A representation theorem for geometric morphisms
• The symmetric topos
• scientific article; zbMATH DE number 431774 (Why is no real title available?)

This page was built for publication: Representing geometric morphisms using power locale monads

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