Fall 2013
oo-Categories Reading Group
Wednesdays, 3 PM to 4 PM (right after class), in Room 232 Science Center. The goal of this class is for students to understand the first one or two chapters of Jacob Lurie's ``Higher Topos Theory'', and to understand the first chapter of ``Higher Algebra''.
Resources
- Lurie, "Higher Topos Theory".
- Lurie, "Higher Algebra".
- Greg Friedman, "An elementary illustrated introduction to simplicial sets".
- Paul Goerss and Rick Jardine, "Simplicial homotopy theory". Available upon request from Hiro for purposes of this class only.
- Saunders Mac Lane, "Categories for the Working Mathematician". Available upon request from Hiro for for purposes of this class only.
- Peter May, "Simplicial objects in algebraic topology". Available upon request from Hiro for for purposes of this class only.
- Charles Weibel, "An Introduction to Homological Algebra". First chapter available upon request from Hiro for purposes of this class only.
Reading Assignments
- For October 3 and October 10: Understand Section 7 and Theorem 11.4 of Goerss-Jardine, Chapter I. If we understand this, we will know what we mean by Kan complexes and why they are like topological spaces. Read the material and try to understand it so we can discuss in class. If you want a copy of this, e-mail me personally.
- For October 17 and October 24: Read all of 1.1 in Higher Topos Theory, and also sections 1.2.1 to 1.2.11 (inclusive). Define oo-category (aka weak Kan complex, aka quasi-category). We motivate it by the example of the nerve of a strict category. How does an oo-category have Hom spaces? If we are still stuck on Goerss-Jardine, we will continue with it as needed.
- For October 31 and November 7: Read Sections II.6 and Chapter III of Mac Lane, "Categories for the Working Mathematician". The goal is to understand limits and colimits and compute examples. What is the (co)limit of the empty diagram? Of the diagram with two objects? How about cokernels and kernels? If you need a copy of Mac Lane, e-mail me personally.
- For November 14: Finish Chapter 1 of Higher Topos Theory. This means (if you understood everything up to here) we will know what limits and colimits are for an oo-category. Read also Section 1.5 of Weibel. Now you know what a mapping cone is in chain complexes. Brief remark about how to actually compute homotopy (co)limits: You use model structures.
- For November 21: Read Higher Algebra, Sections 1.1 and 1.2. We will know what a stable oo-category is, and what the shift functor does.
Current Questions
- What are the homotopy groups of BG and EG?
- What are BG and EG?
- What is a simplicial group?
- How are they related to the homotopy groups of a space?
- What are the homotopy groups of a Kan complex?
- What is the singular chain complex?
- What is a Kan complex?
Big Ideas
- Our first orders of business will be:
- Nerves of categories are simplicial sets
- Kan complexes are spaces
- Why is homotopy equivalence important
- Why are model categories important
- Sitan Chen
- David Ding
- Wenbo Fu
- Ping Gao
- Ben Kuhn
- Rolando La Placa
- Ben Li
- Jake McNamara
- Seth Neel
- Jake Postema
- Arpon Raksit
- Sahana Vasudevan
- Allen Yuan
Notes
Lecture | Notes by | Notes by | Notes by |
02: Categories enriched in spaces, simplicial sets (Sitan Chen and David Ding) | Sitan Chen | ||
03: Simplicial sets, adjunctions, geometric realization (David Ding) | Sitan Chen | Arpon Raksit | David Ding |
04: Kan complexes, weak Kan complexes, groupoids (Jake McNamara) | Arpon Raksit | Jake McNamara | |
05: Fibrant (i.e., Kan) complexes, homotopies of simplicial sets, simplicial set of maps (Allen Yuan) | Arpon Raksit | Allen Yuan | |
06: Dold-Kan Correspondence and BG (Arpon Raksit) |