Sheaves in geometry and logic. : A first introduction to topos theory. - Mac Lane, Saunders, 1909-2005; Moerdijk, Ieke (Universitext, 1992)