Videos

The Simplicial Model of Univalence

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