Abstract
A startling aspect of topos theory is that it unifies two seemingly wholly distinct mathematical subjects: on the one hand, topology and algebraic geometry, and on the other hand, logic and set theory. Indeed, a topos can be considered both as a “generalized space” and as a “generalized universe of sets”. These different aspects arose independently around 1963: with A. Grothendieck in his reformulation of sheaf theory for algebraic geometry, with F. W. Lawvere in his search for an axiomatization of the category of sets and that of “variable” sets, and with Paul Cohen in the use of forcing to construct new models of Zermelo-Frwnkel set theory.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Mac Lane, S., Moerdijk, I. (1994). Prologue. In: Sheaves in Geometry and Logic. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-0927-0_1
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0927-0_1
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97710-2
Online ISBN: 978-1-4612-0927-0
eBook Packages: Springer Book Archive