Talk page

Title:
The Simplicial Model of Univalence

Speaker:
Chris Kapulkin

Link:
https://www.ias.edu/video/univalent/kapulkin2012Nov29