Venue. Oxford Logical Guides Oxford Logical Guides · Book series 2002 Sketches of an Elephant: A Topos Theory Compendium johnstone-2002Oxford Logical Guides · 2002 Web