Topos theory - Johnstone, P.T (Academic Press, Inc., 1977)