Skip to main content
Toggle navigation
Home
Schools + Programs
Recent
Lectures by IAS Director and Faculty
Historical Studies
Mathematics
Natural Sciences
Social Science
Artist in Residence
Women and Mathematics
Prospects in Theoretical Physics
Academic Years
2014-2015
2013-2014
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
2004-2005 & prior
IAS Home
Eilenberg-Mac Lane Spaces in HoTT
Download
Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
March 13, 2013
More like this
$pi_2(s^2)$ in HoTT
Orthogonal factorization in HoTT
Weak Infinity Groupoids in HoTT
HoTT is a Polyvalent Foundation of Mathemtics
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?