Univalent Foundations Seminar Invariance Under Isomorphism and Definability Date & Time December 13, 2012 | 11:00am – 12:30pm Location S-101 Speakers Per Martin-L\"of Affiliation Stockholm University Event Series Special year seminar - Math Categories Mathematics Academic Video Invariance Under Isomorphism and Definability Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
