Lecture notes for Categorical Logic

Lecture notes will accumulate here as the course proceeds.

• catlog0.pdf
• catlog1.pdf
• catlog2.pdf
• catlog3.pdf
• catlog4.pdf