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
Cole, J.C.: The bicategory of topoi, and spectra. J. Pure and Applied Algebra (to appear).
Freyd, P.J.: The theories of functors and models. In "The Theory of Models" (ed. J.W. Addison, L. Henkin and A. Tarski), North-Holland 1965, 107–120.
Gabriel, P. and Ulmer, F.: "Lokal präsentierbare Kategorien". Springer Lecture Notes in Math. 221 (1971).
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M. and Scott, D.S.: "A Compendium of Continuous Lattices". To appear.
Grothendieck, A. and Verdier, J.L.: Théorie des topos (SGA 4, exposés I-VI). Springer Lecture Notes in Math. 269–270 (1972).
Hoffmann, R.-E.: Sobrification of partially ordered sets. Semigroup Forum 17 (1979), 123–138.
Johnstone, P.T.: "Topos Theory". L.M.S. Mathematical Monographs no. 10, Academic Press 1977.
Johnstone, P.T.: Conditions related to De Morgan's law. In "Applications of Sheaves" (ed. M.P. Fourman, C.J. Mulvey and D.S. Scott), Springer Lecture Notes in Math. 753 (1979), 479–491.
Johnstone, P.T.: The Gleason cover of a topos, II. J. Pure and Applied Algebra (to appear).
Lambek, J. and Scott, P.J.: Intuitionist type theory and the free topos. J. Pure and Applied Algebra (to appear).
Mac Lane, S.: "Categories for the Working Mathematician". Graduate Texts in Mathematics no. 5, Springer-Verlag 1971.
Scott, D.S.: Continuous lattices. In "Toposes, Algebraic Geometry and Logic" (ed. F.W. Lawvere), Springer Lecture Notes in Math. 274 (1972), 97–136.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Johnstone, P.T. (1981). Injective toposes. In: Banaschewski, B., Hoffmann, RE. (eds) Continuous Lattices. Lecture Notes in Mathematics, vol 871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0089912
Download citation
DOI: https://doi.org/10.1007/BFb0089912
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10848-1
Online ISBN: 978-3-540-38755-8
eBook Packages: Springer Book Archive