Talk page

Title:
Formal Abstract Homotopy Theory

Speaker:
Jeremy Avigad

Link:
https://www.ias.edu/video/univalent/1213/0228-JeremyAvigad