Videos

Eilenberg-Mac Lane Spaces in HoTT

Presenter
March 13, 2013
IAS
Keywords:
  • Univalent
Eilenberg-Mac Lane Spaces in HoTT Thumbnail
Play Video
Abstract
Eilenberg-Mac Lane Spaces in HoTT