Eilenberg-Mac Lane Spaces in HoTT

Download Embed
Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
March 13, 2013