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)
- Docent: Jaap van Oosten