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.
Déplacez-vous dans le calcul et la réalisation géométrique de petites catégories, explorant la relation entre les nerfs et les structures géométriques.
