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

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

by SaundersMacLane (Author), IekeMoerdijk (Author)

Synopsis

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.

$76.23

Quantity

10 in stock

More Information

Format: Paperback
Pages: 629
Edition: 1st ed. 1992. Corr. 2nd printing
Publisher: Springer
Published: 14 May 1992

ISBN 10: 0387977104
ISBN 13: 9780387977102
Book Overview: Springer Book Archives

Media Reviews

From the reviews:

A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. ... authors have a rare gift for conveying an insider's view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. ... it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field. (Wordtrade, 2008)