The goal of this reading group is to introduce the formalism of infinity categories as extensively developed by Joyal and Lurie. The main source we are following are Moritz Groth's notes. As a complement of the proofs missing we will also use Charles Rezk notes, as well as the Kerodon website. A more detailed description of the talks can be found here.
We meet on Microsoft Teams every Thursday from 14:00 to 16:00.
I have written a brief sum up of the constructions with infinity categories we have seen and skipped until now, under completion you can find it here.
|Week||Title - Whiteboard||Speaker||Personal Notes||Recordings||Extra|
|2||Basics on infty-categories (Part 1)||Matteo Barucco||Video|
|3||Basics on infty-categories (Part 2)||David Tintinago Pinzon||Talk2||Video|
|4||Constructions: functors, cones, join||Julie Rasmusen||Talk3||Video||Tex|
|5||Constructions: slice, limits and colimits||Marco La Vecchia||Talk4||Video|
|6||Monoidal infty-categories (Part 1)||Likun Xie||Talk5||Video|
|7||Monoidal infty-categories (Part 2)||David Tintinago Pinzon||Talk6||Video|
|8||Presentable infty-categories||Julie Rasmusen||Tex|
|9||Stable infty-categories (Part 1)||Marco La Vecchia|
|10||Stable infty-categories (Part 2)||Matteo Barucco|
|11||Advanced Topics||Emanuele Dotto|