Homotopy Type Seminar

Thursday, November 15, 2018 3:00 pm - 3:00 pm EST (GMT -05:00)
Andrej Vukovic, Pure Math Department, University of Waterloo
"Univalence Implies Function Extensionality"
Since we did not get around to it last time, in this week's meeting of the Homotopy Type Theory Seminar, we prove that univalence implies function extensionality.
MC 5413