Univalent Foundations Seminar Homotopy and Univalence Date & Time January 23, 2013 | 11:00am – 12:30pm Location S-101 Speakers Thorsten Altenkirch, Institute for Advanced Study Affiliation Univ Nottingham/IAS Event Series Special year seminar - Math Categories Mathematics Academic Video Homotopy and Univalence Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
