Abstract
We give an ‘elementary’ proof, without mentioning sites, that any section of an atomic geometric morphism is open, and any section of a connected atomic morphism is an open surjection. Previously, these results were known only for bounded morphisms. As a by-product, we obtain a proof that any connected atomic morphism with a section is necessarily bounded
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M. and Diaconescu, R.: Atomic toposes, J. Pure Appl. Algebra 17 (1980), 1–24.
Johnstone, P. T.: Adjoint lifting theorems for categories of algebras, Bull. London Math. Soc. 7 (1975), 294–297.
Johnstone, P. T.:Topos TheoryLondon Mathematical Society Monographs No. 10, Academic Press, 1977.
Johnstone, P. T.: Open maps of toposes, Manuscripta Math. 31 (1980), 217–247.
Johnstone, P. T.: Factorization theorems for geometric morphisme, I, Cahiers Top. Géom. Diff 22 (1981), 3–17.
Joyal, A. and Tierney, M.: An Extension of the Galois Theory of GrothendieckMem. Amer. Math. Soc., 1984, p. 309.
Moerdijk, I.: The classifying topos of a continuous groupoid, I, Trans. Amer. Math. Soc. 310 (1988), 629–668.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Additional information
Dedicated to Bernhard Banaschewski, who taught me the importance of always looking for the right proof
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Johnstone, P. (2000). An ‘Unsitely’ Result on Atomic Morphisms. In: Brümmer, G., Gilmour, C. (eds) Papers in Honour of Bernhard Banaschewski. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2529-3_2
Download citation
DOI: https://doi.org/10.1007/978-94-017-2529-3_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5540-8
Online ISBN: 978-94-017-2529-3
eBook Packages: Springer Book Archive