Sketches of an elephant : a topos theory compendium - Johnstone, Peter T. (Oxford logic guides ;, 2002)