In addition to talks related to my research, I've also given some lectures for
bachelor or master courses. See my CV
for my teaching experience.

If you would like to have slides from any of my talks, feel free to send me a
message. (I will try to gradually add them to my website.)

Notes

I sometimes write some notes for friends and colleagues. These are typically
hard to read without context, will not include the necessary references and
will include errors. But maybe they are still useful for some people...

PP is not a monad?! [ PDF ]
Update: This is settled once and for all by Bartek Klin and Julian Salamanca, they show that
there is no monad structure at all on the functor PP (where P is covariant).
Meven Bertrand showed a good way of
achieving a double powerset by considering up-sets of down-sets in a poset.
This is a nice way to model alternating automata, for example.

Theses

My master thesis was on Rational Homotopy Theory, supervised by Ieke
Moerdijk. Rational homotopy theory is concerned with algebraic invariants of
topological spaces. Invariants such as homotopy groups are notoriously hard to
compute, but very useful in mathematics. To simplify things, we can
rationalise them (that is, using rational numbers instead of integers). This
way, the invariants are easier to compute.
[ PDF ]
[ Github ]

My bachelor thesis was on the Dold-Kan Correspondence, supervised by Moritz
Groth. The Dold-Kan correspondence is an equivalence between categories: on
one hand there is the topological category of simplicial abelian groups and on
the other hand there is the more algebraic category of chain complexes. This
is a key result in algebraic topology, especially homology.
[ PDF ]
[ Presentation ]
[ Github ]