Lecture notes for Fischbachau Autumn School

• Catlog Notes.pdf
• Categorical Logic, Lecture I.pdf
• Categorical Logic, Lecture II.pdf
• Categorical Logic, Lecture III.pdf