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

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