- Time:
- TR 2–3:20pm
- Location:
- 44 English Building
- Instructor:
- Ronnie Chen
- Office:
- 107 Altgeld Hall
- Email:
- (seven letters from url) AT illinois DOT (three letters)

Lecture notes (tex sample; not updated)

Grading will be primarily based on attendance. Some exercises are sprinkled throughout the lecture notes; you may email me your solutions for feedback. If you do (and email me) a significant portion of the exercises, your grade will be increased by 1/3 of a letter grade.

Material will be drawn from the following sources, listed roughly in descending order of relevance to the course (the last few references contain general background).

- P. Johnstone,
*Sketches of an elephant* - P. Johnstone,
*Stone spaces* - M. Makkai and G. Reyes,
*First order categorical logic* - M. Makkai,
*Stone duality for first order logic* - M. Makkai,
*Strong conceptual completeness for first-order logic* - M. Makkai,
*A theorem on Barr-exact categories, with an infinitary generalization* - J. Lurie,
*Ultracategories* - J. Lurie, Lecture notes
- A. Pillay and friends, Lecture notes
- B. Jacobs,
*Categorical logic and type theory* - S. Mac Lane,
*Categories for the working mathematician* - F. Borceux,
*Handbook of categorical algebra* - J. Adámek and J. Rosický,
*Locally presentable and accessible categories* - G. M. Kelly,
*Basic concepts of enriched category theory* - G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, and D. Scott,
*Continuous lattices and domains*