Couvre les quotients dans les groupes abeliens et le concept de groupes abeliens libres, montrant que chaque groupe abelien est isomorphe à un quotient d'un groupe abelien libre.
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 l'identité et les functeurs oubliés dans la théorie des catégories, montrant leur rôle dans la préservation de la structure et des relations entre les catégories.
