Talk page

Title:
Orthogonal factorization in HoTT

Speaker:
Egbert Rijke

Link:
https://www.ias.edu/video/1213/univalent/0124-EgbertRijke