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.
Couvre la construction de catégories d'homotopie à partir de quasi-catégories, y compris les définitions, les compositions et les relations d'homotopie.
