Saunders Mac Lane • Ieke Moerdijk

Sheaves in geometry and logic: A first introduction to topos theory