Prerequisites:

The course Category Theory and Topos Theory, as given in Mastermath. Lecture notes of this course: http://www.staff.science.uu.nl/~ooste110/syllabi/cattop16.pdf .

Aim of the course:

Familiarize the students with topos-theoretic techniques, especially in Logic.