Talk page

Title:
Categorical structures in type theory, in type theory

Speaker:
Benedikt Ahrens

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

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