Foundations of (∞, 2) -category theory
Location: MSRI: Simons Auditorium
Work of Joyal, Lurie and many other contributors can be summarized by saying that ordinary 1-category theory extends to (∞,1)-category theory: that is, there exist homotopical/derived analogs of 1-categorical results. As “brave new algebra” grows in influence, many areas of mathematics now require homotopical/derived analogs of 2-categorical results and this work largely remains to be done in a rigorous fashion. In my talks, I will give an overview of the development of (∞, 1)-category theory in the quasi-categorical model and describe the main idea behind the proof that this theory is “model independent.” I’ll then suggest some models of (∞, 2)- categories that might prove fertile for studying extensions of 2-category theory and sketch a possible strategy to demonstrate model independence.
- J. Lurie “(∞, 2)-categories and the Goodwillie Calculus I”, October 8, 2009. Available from http://www.math.harvard.edu/∼lurie/papers/GoodwillieI.pdf.
- D. Gaitsgory and N. Rozenblyum , Appendix A of A study in derived algebraic geometry, Mathematical Surveys and Monographs, Vol. 221 (2017), pp. 419 - 524. Available from http://www.math.harvard.edu/∼gaitsgde/GL/.
- G. M. Kelly “Elementary observations on 2-categorical limits”, Bull. Austral. Math. Soc., Vol. 39 (1989), pp. 301-317.
Potential participants should skim bits of the first two, but need not read either in full.
If none of the options work for you, you can always buy the DVD of this lecture. The videos are sold at cost for $20USD (shipping included). Please Click Here to send an email to MSRI to purchase the DVD.
See more of our Streaming videos on our main VMath - Streaming Video page.