Category Theory and Topos Theory, Spring 2016

This course is part of the Mastermath programme.
Lecturer is Jaap van Oosten. Assistant for the exercise class is Anton Golov (a.m.golov@students.uu.nl).

This course will be given in weeks 6-21 (February-June 2016).
The course is on Mondays, 10:15-12:00 (lecture) and 12:15-13:00 (exercises), in Amsterdam Science Park F1.02. Important News: as of March 7, all lectures will be in G4.15!
The course will be concluded by a written exam. There are, during the course, 6 hand-in exercises, which may count for 30% of your final grade (it is not compulsory, although strongly recommended, to hand in these exercises). That is, your final grade will be calculated as follows: let H be your grade for the hand-in exercises and W your grade for the written exam. Your final grade will be the maximum of W and the number (3H + 7W)/10.
The hand-in exercises have to be handed in at the exercise class in the week they are mentioned below; they can also be sent by email to the assistant, before noon on the same day. Exercises, to be handed in in week x+1, will appear on this page ultimately the Wednesday of week x.
Here are the hand-in exercises with solutions for the old ones.

Literature: Lecture Notes.
This course will treat some applications of Category Theory to Logic. Although this is only a minor part of the course, people unfamiliar with Logic may wish to consult sections 2.1-2.3 of the basic logic course Sets, Models and Proofs, for the notions of a language and structures for a language.

Overview of the material treated in the course

Not always there will be time enough to treat all material in the lecture. What is listed is the required reading for the exam.

Back to my teaching page