Talks
March 2026Universality of span 2-categories and six-functor formalismsResearch Seminar, Aristotle University of Thessaloniki · slides
February 2026Synthetic category theory in CaTTHoTTEST seminar · slides
December 2025Linearization of real Lie groupsDuality and linearization for p-adic Lie groups, Regensburg · slides
November 2025Six operations in topologyHIOB, Regensburg · slides
2025Axiomatization of ∞-categoriesHoTT/UF 2025 · slides