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