Home /  Workshop /  Schedules /  Do we want a new foundation for ‘higher structures’

Do we want a new foundation for ‘higher structures’

Connections Workshop: Noncommutative Algebraic Geometry February 01, 2024 - February 02, 2024

February 01, 2024 (09:30 AM PST - 10:30 AM PST)
Speaker(s): Emily Riehl (Johns Hopkins University)
Location: SLMath: Eisenbud Auditorium, Online/Virtual
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video

Do we want a new foundation for ‘higher structures’

Abstract

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.

Supplements No Notes/Supplements Uploaded
Video/Audio Files

Do we want a new foundation for ‘higher structures’

Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.