Topos Theory, Spring 2020

This course is part of the Mastermath programme.
Lecturer is Jaap van Oosten.

This course will be given in weeks 6--21 (February--May 2020).
The course is on Thursdays, 10:15-12:00 (lecture) and 12:15-13:00 (exercises), in Utrecht University. We have a different room almost every week! See the "Venues" listed in the Overview below.
The course will be concluded by a written exam, for which you must obtain at least the grade 5. 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. Provided W is at least 5, your final grade will be the maximum of W and the number (3H + 7W)/10. This number has to be at least 5.5 in order to pass.
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 teacher, before noon on the same day. Exercises, to be handed in in week x+1, will appear on this page ultimately the Thursday of week x.
Here are the hand-in exercises of last year, with solutions.


The course "Topos Theory" is a sequel to the course Category Theory and Topos Theory, which is prerequisite knowledge. See the lecture notes for the preliminary course.
Lecture Notes for the course (work in progress).
Exercise material.

Making diagrams in LaTeX

I myself use the program xypic.

Othe people prefer this tool. There are the following instructions:
Draw your diagram using that tool, and then use the button with the braces { } to copy the LaTeX code for your diagram. You can then paste the code in a tikzcd environment, or more concrete:
\[
\begin{tikzcd}
Paste your code here
\end{tikzcd}
\]
Do not forget to include \usepackage{tikz-cd} in your LaTeX document to use the tikzcd environment.

Overview of the course

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

Back to my teaching page