参考资料. Sheaves in Geometry and Logic - A First Introduction to Topos Theory [MaclaneMoerdijkSGL]

  • Saunders Mac Lane, Ieke Moerdijk
 
@book{maclane1994sheaves,
  title={Sheaves in Geometry and Logic: A First Introduction to Topos Theory},
  author={MacLane, S. and Moerdijk, I.},
  isbn={9780387977102},
  lccn={lc91033709},
  series={Universitext},
  url={https://books.google.com/books?id=SGwwDerbEowC},
  year={1994},
  publisher={Springer New York}
}

内容

  • Prologue
  • Categorical Preliminaries
  • Categories of Functors
  • Sheaves of Sets
  • Grothendieck Topologies and Sheaves
  • First Properties of Elementary Topoi
  • Basic Constructions of Topoi
  • Topoi and Logic
  • Geometric Morphisms
  • Classifying Topoi
  • Localic Topoi
  • Geometric Logic and Classifying Topoi