Logo

Mathematical Sciences Research Institute

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

Seminar

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
Video
No Video Uploaded
Abstract/Media

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

https://berkeley.zoom.us/j/98233524597?pwd=RTdrdXFsY3kvNkJGaVB4NWljRkFtdz09

No Notes/Supplements Uploaded No Video Files Uploaded