Home / Search / Sheaves in Geometry and Logic: A First Introduction to Topos Theory
ISBN-13 · 9780387977102ISBN-10 · 0387977104Publisher · SpringerFormat · Paperback, 630 pagesPublished · 1992Language · English
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
Rent this book
Free return shipping includedTotal rental price$26.00
Please Note: Rental books are typically used and do not come with any unused access code cards.
Return by 2026-10-26. Prepaid return label included; extend at any point for the difference in price.
Buy from a seller
Bookface-OutletShips from CA
GoodTypical used book with minor wear and signs of use. May have some highlighting or writing.
45.59
About this book
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) categories.