by Saunders Mac Lane, Saunders MacLane, Ieke Moerdijk
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…