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 and geometric morphisms and their relation to logic. This is the first text
to address all of these various aspects of topos theory at the graduate student level.
