Erland Arctaedius: Grothendieck's Homotopy Hypothesis and The Homotopy Theory Of Homotopy Theories

Tid: Må 2017-06-19 kl 10.00 - 11.00

Föreläsare: Erland Arctaedius (MSc student)

Plats: Room 14, house 5, Kräftriket, Department of Mathematics, Stockholm University

Abstract:
We will present two possible models for “infinity-categories”: simplicial set with a horn-filling condition and Kan-complex enriched categories. We present Grothendieck's homotopy hypothesis as a “litmus test” for infinity-categories, and then develop the necessary machinery for explaining the phrase “homotopy theory of homotopy theories”. We also define the maximal Kan-complex contained in a quasi-category, a generalization of the maximal groupoid contained in a category, and prove that it is an adjoint - we believe that this has not been done explicitly (in print) before.

2017-06-19T10:00 2017-06-19T11:00 Erland Arctaedius: Grothendieck's Homotopy Hypothesis and The Homotopy Theory Of Homotopy Theories Erland Arctaedius: Grothendieck's Homotopy Hypothesis and The Homotopy Theory Of Homotopy Theories
Till sidans topp