Sketches of an Elephant. A Topos Theory Compendium