Talk page

Title:
Towards a synthetic theory of (∞,1)-categories

Speaker:
Emily Riehl

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

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