Topos Theory, Spring 2023

This course is part of the Mastermath programme.
Lecturer is Jaap van Oosten. Teaching assistant is Samuel Klumpers

This course will be given in weeks 6--20 (February--May 2020).
The course is on thursdays, 14:00-15:45 (lecture) and 16:00-16:45 (exercises).
Lecture room: this varies per week. See planning below for the locations of the course.
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 sent by email to the teaching assistant (Samuel Klumpers; email s.h.e.klumpers@uu.nl). 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 mastermath course Category Theory, which is prerequisite knowledge. See the lecture notes for the preliminary course.
Lecture Notes for the course (work in progress).
Hand-in exercises Spring 2021, with solutions.
Hand-in exercises Spring 2022, with solutions.

Making diagrams in LaTeX

I myself use the program xypic.

Other people prefer the tool Tikz. 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 concretely:
\[
\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