Sketches of an Elephant: A Topos Theory Compendium