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.
Couvre les adjonctions et les catégories de foncteur, en soulignant leur importance dans la théorie des catégories et les applications dans l'apprentissage profond.
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.
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.
