Posted in
Speaker:
Chris Kapulkin
Datum:
Mit, 10/02/2016 - 14:30 - 16:00
Location:
MPIM Lecture Hall
Parent event:
Workshop on Homotopy Type Theory Homotopy Type Theory is often referred to informally as the internal
language of higher category theory. This slogan can be made precise, and I
will state and explain the corresponding conjectures. Afterwards, I will
report on the progress towards proving these conjectures.
© MPI f. Mathematik, Bonn | Impressum & Datenschutz |