Sheaves in geometry and logic

by Saunders MacLane, Saunders Mac Lane, Ieke Moerdijk

1992 627 pages eng

This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes …