Sketches of an Elephant: A Topos Theory Compendium (Oxford Logic Guides)