Talk page

Title:
Induction and homotopy initiality for a class of 1-HITs

Speaker:
Gabe Dijkstra

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

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