Topology Seminar-∞-category theory in the 22nd century

Date and Time: Friday, November 12, 3:00pm-4:00pm

Speaker: Emily Riehl from John Hopkins University

Place: Rome 204

Title: ∞-category theory in the 22nd century

Abstract: At its current state of the art, ∞-category theory is challenging to explain even to specialists in closely related mathematical areas. Nevertheless, historical experience suggests that in, say, a century's time, we will routinely teach this material to undergraduates. This talk describes one dream about how this might come about --- under the assumption that  22nd century undergraduates have absorbed the background intuitions of homotopy type theory/univalent foundations.