Talk page

Title:
Reducing HITs to quotients

Speaker:
Floris van Doorn

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

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