Talks 2024 MURI grant meeting Coslice colimits in HoTT [slides] 2023 MURI grant meeting Type-theoretic Brown representability [slides]