![]() |
||
Institut für Mathematik       Universität Heidelberg |
Content
In this seminar we will have a first glimpse into Homotopical Category Theory (a.k.a. Higher Category Theory) theory and we want to understand why oo-categories are useful and how to transfer concepts from ordinary category theory to homotopical category theory. We will not be able to spell out every technical detail, but rather focus on the main concepts and the ideas behind them.Talks
No. | Date | Title | Speaker |
1 | 18.10. | Introduction I | Dahlhausen |
2 | 25.10. | Introduction II | Waas |
3 | 08.11. | From 1-categories to oo-categories (and back) | Witt |
4 | 15.11. | From simplicial categories to quasi-categories | Klevesath |
5 | 22.11. | Anodyne maps and fibrations | Scholz |
6 | 29.11. | Mapping spaces, joins, and slices | Zahlen |
7 | 06.12. | Joyal's theorem: on invertible arrows | Dahlhausen |
8 | 13.12. | Fully faithfullness, essential surjectivity, and localisations of oo-categories | Witt |
9 | 10.01. | Mapping spaces, fat joins, and fat slices | NN |
10 | 17.01. | (Co)cartesian fibrations | Heger |
11 | 24.01. | Straightening-Unstraightening | Heger |
12 | 31.01. | The Yoneda-Lemma | NN |
Organisatorial remarks