Sheaves in geometry and logic a first introduction to topos theory - MacLane, Saunders, 1909- (Springer-Verlag, 1992)