Talk page

Title:
Localization at maps between omega-compact types via a small object argument in HoTT

Speaker:
Egbert Rijke

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

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