Mathematical Sciences Research Institute

Home » Berkeley Logic Colloquium: ∞-category theory for undergraduates


Berkeley Logic Colloquium: ∞-category theory for undergraduates May 01, 2020 (04:00 PM PDT - 05:00 PM PDT)
Parent Program: --
Location: MSRI: Online/Virtual
Speaker(s) Emily Riehl (Johns Hopkins University)
Description No Description
No Video Uploaded

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.

"This talk will be part of the Berkeley Logic Colloquium (http://logic.berkeley.edu/events.html).

Join Zoom Meeting


No Notes/Supplements Uploaded No Video Files Uploaded