Do we want a new foundation for ‘higher structures’
Connections Workshop: Noncommutative Algebraic Geometry February 01, 2024 - February 02, 2024
Location: SLMath: Eisenbud Auditorium, Online/Virtual
Do we want a new foundation for ‘higher structures’
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. To illustrate the utility of this alternate foundational system, we'll share a new computer formalized proof of the ∞-categorical Yoneda lemma that reveals how close it is to the classical proof of the 1-categorical Yoneda lemma.
Do we want a new foundation for ‘higher structures’
Please report video problems to itsupport@slmath.org.
See more of our Streaming videos on our main VMath Videos page.