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.
Explore la résolution du problème de l'extension homotopique, la construction de complexes CW relatifs, et assure l'unicité dans les approximations CW.
