National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Invariant homotopy theory in the univalent foundations
Presenter
Guillaume Brunerie
September 28, 2016
IAS
Play Video
Abstract
Short talks by postdoctoral members
Abstract
Supplementary Materials
Invariant homotopy theory in the univalent foundations