Explore la construction d'objets cylindres dans des complexes de chaîne sur un champ, en mettant l'accent sur les complexes d'homotopie gauche et de chaîne d'intervalle.
Explore l'équivalence homotopique dans les complexes en chaîne, mettant l'accent sur la construction d'objets de chemin et la caractérisation homotopique gauche/droite.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.
Fournit un aperçu des propriétés de levage dans les catégories de modèles, en se concentrant sur leurs définitions et leurs implications pour les morphismes et les diagrammes commutatifs.
