Sketches of an Elephant: A Topos Theory Compendium, Vol. 2 - Johnstone, Peter T. (Oxford logic guides 44, 2002)