Synthetic topos theory
[Johnstone--2002-0000] Bibliography Item

Peter T. Johnstone. Sketches of an Elephant : A Topos Theory Compendium Volume 1. Oxford University Press, 2002.