Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
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 foncteurs adjoints dans la théorie des catégories, en soulignant leur importance et leurs applications dans l'établissement de relations entre les différentes catégories.
