//
Johns Hopkins University·Emily Riehl
1:53:51
0:00/1:53:51
Press N to jot a timestamped note or B to pin a moment while watching.
Press N to jot a timestamped note or B to pin a moment while watching.
Emily Riehl outlines a pedagogical vision for introducing ∞-category theory to undergraduates, positing how future curricula might integrate advanced concepts like homotopy type theory.
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.