Penn Arts & Sciences Logo

Monday, November 21, 2022 - 5:00pm

Emily Riehl

Johns Hopkins University

Location

University of Pennsylvania

DRL A4

At its current state of the art, infinity-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.