Sheaves in Geometry and Logic: A First Introduction to Topos Theory
Book
Domain Context
Category Theory
Citation
Mac Lane, Saunders and Moerdijk, Ieke. (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer.
Why this reference is included
Mac Lane and Moerdijk’s Sheaves in Geometry and Logic: A First Introduction to Topos Theory (1992), published by Springer, sits in the program’s reference corpus as a standing technical source. Cited in Book I (Categorical Foundations), Part 14, Chapter Limits, Sites, and the Presheaf Topos, where the program draws on it in the context of “By Giraud’s theorem , the presheaf category [C^op, Set] on any small category C is a Grothendieck topos.”
Cited in
-
Book I — Categorical Foundations Part 14Chapter Limits, Sites, and the Presheaf Topos
By Giraud's theorem , the presheaf category [C^op, Set] on any small category C is a Grothendieck topos