Skip to main content alibris logo

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

by ,

Write The First Customer Review
Sheaves in Geometry and Logic: A First Introduction to Topos Theory - Maclane, Saunders, and Moerdijk, Ieke
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds (algebraic, analytic, etc.). Sheaves also appear in logic as carriers for models of set theory as well as for the semantics of other types of logic. Grothendieck introduced a topos as a category of sheaves for algebraic geometry. Subsequently, Lawvere and Tierney obtained elementary axioms for such (more general) ...

loading
Sheaves in Geometry and Logic: A First Introduction to Topos Theory 1992, Springer, New York, NY

ISBN-13: 9780387977102

Trade paperback