Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Paperback)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) By Saunders Maclane, Ieke Moerdijk Cover Image
$101.99
Not In Stock - Usually ships in 3-5 Days

Description


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.
Product Details
ISBN: 9780387977102
ISBN-10: 0387977104
Publisher: Springer
Publication Date: May 14th, 1992
Pages: 630
Language: English
Series: Universitext