Date(s) : 30/05/2017 iCal
11 h 00 min - 12 h 30 min
Dans le cadre de la Journée « Autour de l’hypothèse homotopique de Grothendieck ».
The state of the art of higher category theory offers a wide variety of models for ∞-categories, and introduces the problem of comparing them. The two most important differences consist of the basic shapes we allow for our theory and their being algebraic or not. We will introduce a globular model for ∞- groupoids, that was first conjectured by A. Grothendieck, and describe its prominent features, If time permits, we will also outline how a comparison with topological spaces can be made quite explicitely, leading to the formulation of the so-called « Homotopy Hypothesis ».