Lecture notes for Categorical Logic

Lecture notes will accumulate here as the course proceeds.

Here is a draft from 2024.

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