- 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 ∞-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 𝒟
^{−}(𝒜) (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”
- 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