Sketches of an elephant : a topos theory compendium / Peter T. Johnstone. - Johnstone, Peter T. (Oxford University Press, 2002)