Cours fondamental 1 (TA)

Homotopie I

Bruno Vallette

Contact : vallette à

Page web du cours :


The goal of this lecture will be to present two “concrete” homotopy theories. We will start with the classical homotopy theory of topological spaces (homotopy groups, cellular complexes, Whitehead and Hurewicz theorems, fibrations). Then we will move to the homotopy theory of simplicial sets (definitions, simplex category, adjunction and cosimplicial objects, examples, fibrations, Kan complexes, and simplicial homotopy). The notion of a simplicial set will be introduced with a view toward a definition of an infinity-category.

This course will directly follow the one of Emmanuel Wagner "Théorie de l'homologie" (September-October 2020); it will open the doors to the one of Najib Idrissi Homotopie II" (January-February, 2020) and to the one of Muriel Livernet "Catégories supérieures" (March-April 2020)



From Emmanuel Wagner's course "Théorie de l'homologie": category, functor, adjunction, (co)limits, topological space, homeomorphism.