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 le concept de (co)limites dans l'algèbre homotopique, en discutant des relations entre les functeurs, des cas particuliers, et les propriétés universelles des colimites et des limites.
Introduit des transformations naturelles dans la théorie de groupe et la théorie de catégorie, en mettant l'accent sur leur définition et leur signification.
