Isomorphisme dans les catégoriesCouvre le concept d'isomorphisme dans les catégories, définissant les morphismes avec des inverses et explorant les automorphismes et les groupoïdes.
Morphisme des groupesCouvre le concept de morphisme de groupes, d'actions sur des ensembles et d'automorphismes.