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

MacLane, Saunders

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3540977104 ISBN 13 :  9783540977100
Editeur : Springer-Verlag Berlin and Heide..., 1992
Couverture souple