Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
- ISBN13 9780387977102
- Publish Date 27 October 1994 (first published June 1992)
- Publish Status Active
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition 1st ed. 1992. Corr. 2nd printing 1994
- Format Paperback
- Pages 630
- Language English