First order categorical logic
Spring 2010
This seminar investigates first order categorical logic, as
formulated with the tools of topos theory. We will primarily be
working through:
- M. Makkai and G. Reyes, First order categorical
logic
[books.google]
[springerlink]
(Note: there is an extensive list of corrections linked at the
bottom of the Springerlink page.)
We will also find it useful to refer to:
- S. Mac Lane and I. Moerdijk, Sheaves in geometry
and logic: a first introduction to topos theory
[books.google]
And here are some other books that might be helpful:
- P. Johnstone, Sketches of an elephant: a topos
theory compendium
[books.google]
- A. Grothendieck and J. L. Verdier, Théorie des
topos et cohomologie étale des schémas SGA4
[springerlink]