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.
Explore le sens catégorique de la construction dun quotient de groupe par un sous-groupe normal, en le montrant comme un exemple spécifique dune construction plus générale.