Sketches of an elephant: a topos theory compendium (2002)

by P Johnstone