|
Infinity Categories for the Working Mathematician SemesterWiSe 2018 / 19 Lecturer Daniel Schäppi Type of course (Veranstaltungsart) Seminar Contents Many of the basic notions of category theory (limits, colimits, adjunctions, Kan extensions, etc.) generalize to the context of higher categories. Moreover, experience shows that these notions behave in the expected manner: a result about categories with a sufficiently "structural" proof can be generalized to the context of higher categories. Emily Riehl and Dominic Verity have found a way to develop the basic theory of higher categories in a model-independent way. The novelty of this approach is that it also applies to models of (Infinity,n)-categories for n>1. Using this new approach, it is possible to turn the above mentioned intuition into a theorem. In this seminar, we will follow the draft of the book "Infinity Categories for the Working Mathematician" by Riehl and Verity to learn this new approach to higher category theory. Previous attendance of the seminar is therefore NOT required. Literature Infinity Categories for the Working Mathematician (draft) Recommended previous knowledge Basic category theory, simplicial homotopy theory Time/Date Tuesday 16.00-18.00 Location M101 Registration
There will be preparatory meetings one week in advance of the talks (Repetitorium) Modules MV, MSem ECTS Siehe Modulkatalog. MV und Nebenfach: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16 |