Discute des groupes de Lie linéaires, de leurs définitions, de leurs propriétés et de la relation entre les courbes intégrales et les champs vectoriels.
S'insère dans le deuxième théorème de l'isomorphisme en théorie de groupe, mettant l'accent sur les relations entre sous-groupes et les groupes quotients.
Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.