Sheaves in geometry and logic
Book
Foundational Source
Category Theory
Citation
Mac Lane, Saunders and Moerdijk, Ieke. (1992). Sheaves in geometry and logic. 292. Springer-Verlag.
Why this reference is included
Mac Lane and Moerdijk’s Sheaves in geometry and logic (1992) sits in the program’s reference corpus as a standing technical source in Category Theory. It forms part of the foundational literature the program builds upon, though it is not directly cited in the currently published volumes of Panta Rhei.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.