Talks

2024

Seminar talk on properness in topology and higher topos theory

2023

Conference talk on internal higher topos theory
Seminar talk on proper morphisms of infinity-topoi

2022

Conference talk on internal higher category theory

2021

Seminar talk on internal higher category theory