Mathematical Sciences Research Institute

Home » Workshop » Schedules » The unicity of the homotopy theory of higher categories.

The unicity of the homotopy theory of higher categories.

Reimagining the Foundations of Algebraic Topology April 07, 2014 - April 11, 2014

April 09, 2014 (11:00 AM PDT - 12:00 PM PDT)
Speaker(s): Christopher Schommer-Pries (University of Notre Dame)
Location: MSRI: Simons Auditorium
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC



Higher categories are playing an increasingly important role in algebraic topology and mathematics more generally. Due to their diverse origins there are many competing approaches to the theory. In this talk I will describe joint work with Clark Barwick which gives a solution to the comparison problem in higher category theory. We give a brief axiomatization of the theory of (infty,n)-categories (and other closely related theories). From this we show that the space of homotopy theories satisfying these axioms is B(Z/2)^n, and hence any two theories satisfying the axioms are equivalent with very little ambiguity in _how_ they are equivalent. Examples of popular theories which satisfy these axioms will be provided along with a spattering of applications.   

20461?type=thumb Schomer-Pries.Notes 78.7 KB application/pdf Download
Video/Audio Files


H.264 Video v1322.mp4 355 MB video/mp4 rtsp://videos.msri.org/data/000/020/411/original/v1322.mp4 Download
Troubles with video?

Please report video problems to itsupport@msri.org.

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