Couvre le concept d'un sous-espace étant un retrait d'un autre espace et des groupes fondamentaux, y compris des exemples comme la contraction des dents d'un collier.
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.
