A representation theorem for geometric morphisms

DOI10.1007/S10485-009-9187-2MaRDI QIDQ613566zbMATH OpenOpenAlexFDO

Authors Christopher F. Townsend

Publication date 21 December 2010

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

Full work available at URL https://doi.org/10.1007/s10485-009-9187-2

zbMATH Keywords

toposlocaleFrobenius reciprocitygeometric morphism

Mathematics Subject Classification ID

Frames, locales (06D22) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25)

Recommendations

• Representing geometric morphisms using power locale monads
• An `unsitely' result on atomic morphisms
• A short proof of the localic groupoid representation of Grothendieck toposes.
• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• Covering Etendues and Freyd's Theorem

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• 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 extension of the Galois theory of Grothendieck
• Presenting locale pullback via directed complete posets

Cited in

(16)

• A geometric description of the class invariant homomorphism
• Double power monad preserving adjunctions are Frobenius
• Stability of properties of locales under groups
• scientific article; zbMATH DE number 5252010 (Why is no real title available?)
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• Towards higher topology
• Representing geometric morphisms using power locale monads
• scientific article; zbMATH DE number 4168917 (Why is no real title available?)
• Some properties of internal locale morphisms externalised
• Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
• The symmetric topos
• A geometric version of the Morita equivalence
• A short proof of the localic groupoid representation of Grothendieck toposes.
• On toposes generated by cardinal finite objects
• An `unsitely' result on atomic morphisms
• Principal bundles as Frobenius adjunctions with application to geometric morphisms

This page was built for publication: A representation theorem for geometric morphisms

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