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.

Lecturer

Jaap van Oosten (UU)