Explore l'unicité des arbres, des groupes d'automorphisme, des graphiques Cayley-Abels et la construction de sous-groupes vertex-transitifs avec des actions locales prescrites.
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.