Videos

The Simplicial Model of Univalence

Presenter
December 6, 2012
IAS
Keywords:
  • Univalent
The Simplicial Model of Univalence Thumbnail
Play Video
Abstract
The Simplicial Model of Univalence