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.
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.
Couvre la combinatoire de la catégorie simplex et son équivalence aux espaces topologiques, ainsi que le concept de catégories foncteur pour les objets cosimpliciels et simpliciaux.
Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.
Couvre l'adjonction entre les ensembles simpliciaux et les catégories enrichies en simpliciation, y compris la préservation des inclusions et la construction des catégories homotopiques.