Search -
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
Sheaves in Geometry and Logic A First Introduction to Topos Theory - Universitext Author:Saunders Mac Lane, Ieke Moerdijk, S. Mac Lane This introduction to the theory of toposes (developed by Grothendieck and followed up by Lawvere and Tierney) begins with illustrative examples and goes on to explain 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.