VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
Complete Segal objects and univalent maps
Speaker:
Nima Rasekh
Link:
https://video-archive.fields.utoronto.ca/view/5079
Workshop:
Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics