A representation theorem for geometric morphisms

DOI10.1007/s10485-009-9187-2zbMath1207.18005OpenAlexW1966356433MaRDI QIDQ613566

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

localetoposFrobenius reciprocitygeometric morphism

Mathematics Subject Classification ID

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

Related Items (6)

Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms ⋮ Representing geometric morphisms using power locale monads ⋮ Principal bundles as Frobenius adjunctions with application to geometric morphisms ⋮ A short proof of the localic groupoid representation of Grothendieck toposes ⋮ Stability of properties of locales under groups ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presenting locale pullback via directed complete posets
• A universal characterization of the double powerlocale
• An extension of the Galois theory of Grothendieck
• A categorical account of the Hofmann–Mislove theorem

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