Documents

Theses

• 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

Assorted Stuff

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