Fall 2024: Infinite Category Theory
OH: Wed. 2:20pm-3:20pm. Location: my office
We do not present results and even definitions in the logical order.
Some "exercises" in these notes are challenging and cannot be solved by methods introduced in the lectures, especially for those in the appendices.
Lecture 1: Introduction Notes (Last update: 10/07/2024)
Lecture 2: Model categories Notes (Last update: 10/07/2024)
Lecture 3: Simplicial sets Notes (Last update: 10/07/2024)
Lecture 4: Quasi-categories Notes (Last update: 10/07/2024)
Lecture 5: Quasi-category of quasi-categories Notes (Last update: 10/22/2024)
Lecture 6: Limits and colimits: definition Notes (Last update: 10/18/2024)
Lecture 7: Limits and colimits: functoriality Notes (Last update: 10/25/2024)
Lecture 8: Limits and colimits: model categories Notes (Last update: 10/18/2024)
Lecture 9: Limits and colimits: Kan extensions Notes (Last update: 10/29/2024)
Lecture 10: Limits and colimits: commutativity Notes (Last update: 11/15/2024)
Lecture 11: Yoneda lemma Notes (Last update: 10/25/2024)
Lecture 12: Adjoint functors Notes (Last update: 10/30/2024)
Lecture 13: Presentable infinity categories Notes (Last update: 11/12/2024)
Lecture 14: Spectra Notes (Last update: 11/12/2024)
Lecture 15: Stable infinity categories Notes (Last update: 11/15/2024)
Lecture 16: t-structures Notes (Last update: 11/15/2024)
HTT = Higher Topos Theory
HA = Higher Algebra
SAG = Spectral Algebraic Geometry
Ker = Kerodon