Person. Peter T. Johnstone Professor · University of Cambridge · dpmms.cam.ac.uk/person/ptj1000 Papers Sketches of an Elephant: A Topos Theory Compendium johnstone-2002Oxford Logical Guides · 2002 Web