The Dennes Room

Event Detail

Fri May 1, 2020
Zoom (click on title), 4:10–6 PM
Logic Colloquium
Emily Riehl (John Hopkins University)
∞-category theory for undergraduates

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.