Description
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.
Author: Saunders Maclane, Ieke Moerdijk
Publisher: Springer
Published: 05/14/1992
Pages: 630
Binding Type: Paperback
Weight: 1.98lbs
Size: 9.21h x 6.14w x 1.31d
ISBN13: 9780387977102
ISBN10: 0387977104
BISAC Categories:
- Mathematics | Logic
- Mathematics | Geometry | General
- Mathematics | Algebra | Abstract
This title is not returnable