Seminar
| Parent Program: | -- |
|---|---|
| Location: | SLMath: Online/Virtual |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
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