Sheaves in geometry and logic : A first introduction to topos theory - Maclane, Saunders (Universitext, 1992)