Skip to main content

Internal languages of higher categories

Posted in
Chris Kapulkin
Wed, 10/02/2016 - 14:30 - 16:00
MPIM Lecture Hall

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
-A A +A