# Teaching

## Sheaves and logic

My course on sheaves and logic in the winter term 2017/2018 was recorded.

**Recordings of the lectures**(in German)**Lecture notes**(in English)**Exercise sheets**(in German)

## Lecture notes for pizza seminars

I organized several pizza seminars, seminars by students for students. Lecture notes and exercise sheets are available in German:

**Category theory**(with a focus on motivating examples)**Constructive mathematics**(including a discussion of Hilbert’s program and the Bohr topos)

Related: **QED course
on metamathematics and topos theory** (mostly in German)

## Construction, realisability, double negation

**Master minicourse at
the University of Verona**

## Expository notes

- A quickstart guide to derived functors
- A one-page self-contained proof of a baby version of Kaplansky’s theorem without Noetherian hypotheses (a module is finitely generated and projective if and only if it is locally finite free)
- Fun with the little Zariski topos (in German)
- The Picard group and the Riemann–Roch theorem (in German)
- Higher direct images for dummies (joint with Pascuale Zenobio de Rossi, work in progress)
- On the Jordan canonical form (in German)
- A primer on automatic differentiation

## Talks for general mathematical or compsci audiences

- Exploring hypercomputation with the effective topos (Joint Philosophy/Mathematics Seminar in Warwick)
- The double negation translation and the CPS transformation (Computer Science Seminar at the KU Leuven)
- Konstruktive Mathematik, die Doppelnegationsübersetzung und Continuations (HAL2015)
- Introduction to homotopy type theory

## Previous courses

Exercise sheets for courses where I coordinated the tutorials (in German):

- Galois theory I & II
- Homological algebra I & II
- Model categories
- Commutative algebra
- Algebraic number theory
- Complex analysis

## Teaching statement

My teaching statement is online. I’d love to hear about your favorite teaching strategies by mail.