Talks

2025

CSL 2025, Amsterdam

• Coslice Colimits in Homotopy Type Theory [slides]

2024

MURI grant meeting, Pittsburgh

• Coslice colimits in HoTT [slides]

2023

MURI grant meeting, Pittsburgh

• Type-theoretic Brown representability [slides]

Conference on Homotopy Type Theory, Pittsburgh

• Colimits in the category of pointed types

HoTT/UF Workshop, Vienna

• Colimits in the category of pointed types