The Simplicial Model of Univalence Date November 29, 2012 Affiliation Visiting Student, School of Mathematics Speakers Chris Kapulkin School of Mathematics Univalent