Talk page

Title:
The Seifert-van Kampen Theorem in Homotopy Type Theory

Speaker:
Kuen-Bang Hou

Link:
https://video-archive.fields.utoronto.ca/view/5043

Workshop:
Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics