Talk page

Title:
Cubical Sets Axiomatised in the Internal Type Theory of a Topos

Speaker:
Ian Orton

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

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