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