Math 595: Categorical logic (Fall 2019)

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)

Syllabus

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).