Abstract
It is shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. The adjunctions are characterized as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterized as those adjunctions that preserve the order enrichment and commute with both the lower and the upper power locale monads.
Similar content being viewed by others
References
Johnstone, P.T.: Sketches of an elephant: a topos theory compendium, vols. 1, 2. Oxf. Log. Guides, vols. 43, 44. Oxford Science Publications (2002)
Johnstone, P.T., Vickers, S.J.: Preframe presentations present. In: Carboni, P., Rosolini (eds.) Category Theory—Proceedings, Como, pp. 193–212 (1990). Springer Lecture Notes in Mathematics, 1488 (1991)
Joyal, A., Tierney, M.: An Extension of the Galois Theory of Grothendieck, vol. 309. Memoirs of the American Mathematical Society (1984)
Plewe, T.: Localic triquotient maps are effective descent maps. Math. Proc. Camb. Philos. Soc. 122, 17–43 (1997)
Pumplün, D.: Eine Bemerkung über Monaden und adjungierte Funktoren. Math. Ann. 185, 329–337 (1970)
Street, R.: The formal theory of monads. J. Pure Appl. Algebra 2, 149–168 (1972)
Townsend, C.F.: Locale pullback via directed complete partial orders. Theor. Comp. Sci. 316, 225–258 (2004)
Townsend, C.F.: A categorical account of the Hofmann-Mislove theorem. Math. Proc. Camb. Philos. Soc. 139, 441–456 (2005)
Townsend, C.F.: An axiomatic account of weak localic triquotient assignments. J. Pure Appl. Algebra 214(6), 729–739 (2010)
Townsend, C.F.: A representation theorem for geometric morphisms. Appl. Categ. Struct. 18(6), 573–583 (2010)
Vickers, S.J.: Locales are not pointless in ‘Theory and Formal Methods 1994’. Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Cambridge, 1994, pp. 199–216. Imperical College Press, London (1995)
Vickers, S.J.: The double powerlocale and exponentiation: a case study in geometric logic. Theory Appl. Categ. 12, 372-442 (2004)
Vickers, S.J., Townsend, C.F.: A universal characterization of the double power locale. Theor. Comp. Sci. 316, 297–321 (2004)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Townsend, C.F. Representing Geometric Morphisms Using Power Locale Monads. Appl Categor Struct 21, 15–47 (2013). https://doi.org/10.1007/s10485-011-9258-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-011-9258-z