@book{johnstone-2002,
  author = {Johnstone, Peter T.},
  publisher = {Oxford Science Publications},
  year = {2002},
  number = {43},
  series = {Oxford Logical Guides},
  title = {Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2},
}