Univalent Foundations Seminar Eilenberg-Mac Lane Spaces in HoTT Date & Time March 13, 2013 | 11:00am – 12:30pm Location S-101 Speakers Daniel Licata, Institute for Advanced Study Affiliation Carnegie Mellon University; Member, School of Mathematics Event Series Special year seminar - Math Categories Mathematics Academic Video Eilenberg-Mac Lane Spaces in HoTT Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
