- Hopf algebras and Hopf–Galois extensions in $\infty$-categories (source): PhD thesis
- Operads, Duality and the Gravity Operad (source): master’s thesis
- Loops Objects in Pointed Derivators (source): bachelor’s thesis

These are mostly notes or slides for talks which were dumped here after the talk without much polishing.

- A type theory for synthetic $\infty$-categories (source): slides for a talk about the homonymous paper by Emily Riehl and Michael Shulman given in the context of a course on higher categories
- The universal property of $\mathcal{D}^-(\mathcal{A})$ (source): slides about Section 1.3.3 of Jacob Lurie’s Higher Algebra, prepared for a reading course
- On descendable algebras (source): some slides about “descendable algebras” as discussed by Akhil Mathew
- The localization of spectra with respect to homology (source): slides for a talk about the homonymous paper by Aldridge K. Bousfield given in an electronic “Kan seminar”
- Simplicial homology of the real projective plane and the Klein bottle (source): example computations from a course on algebraic topology
- Universal Properties of Stable Homotopy Theory (source): notes for a talk given in a seminar on enhancements of triangulated categories
- Morita Theory for Derived Categories of Algebras (source): notes for a talk given in a seminar on derived categories