This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume
Fourman, M.P., Scott, D.S.: Sheaves and logic. This volume
Grayson, R.: Intuitionistic set theory. D. Phil. Thesis. University of Oxford
Hofmann, K.H., Keimel, K.: Sheaf theoretical concepts in analysis. This volume
Hyland, J.M.E.: Aspects of constructivity in mathematics. Oxford Logic Colloquium '76. North Holland 1977
Hyland, J.M.E.: Filter spaces and continuous functionals. To appear
Hyland, J.M.E.: Filter spaces and continuous lattices. to appear
Johnstone, P.T.: On a topological topos. Proc. London Math. Soc. to appear
Lawvere, F.W.: Diagonal arguments and cartesian closed categories. in Category Theory, Homology Theory and their Applications II. Lecture Notes in Mathematics 92. Berlin and New York: Springer 1969
Mulvey, C.J.: Banach sheaves. J. Pure and Applied Algebra. to appear (see: Burden, C.W., Mulvey, C.J.: Banach spaces in a category of sheaves. This volume.)
Scott, D.S.: Extending the topological interpretation to intuitionistic analysis II. in Buffalo Conference in Proof Theory and Intuitionism. North Holland 1970
Scott, D.S.: Continuous lattices. in Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics 274, 97–136. Berlin and New York: Springer 1972
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Hyland, J.M.E. (1979). Continuity in spatial toposes. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061827
Download citation
DOI: https://doi.org/10.1007/BFb0061827
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive