First-Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Book
Foundational Source
Category Theory
Citation
Michael Makkai and Gonzalo E. Reyes. (1977). First-Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories. 611. Springer.
Why this reference is included
Makkai and Reyes’ First-Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (1977) 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.