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