Topos Theory, Spring 2021

This course is part of the Mastermath programme.
Lecturer is Jaap van Oosten. Teaching assistant is Bart Keller

This course will be given in weeks 6--21 (February--May 2020).
The course is on Thursdays, 14:00-15:45 (lecture) and 16:00-16:45 (exercises).
The course will be given on Teams.
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 (Bart Keller). 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).

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 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