CategoriesIntroduces categories as collections of objects with morphisms and identity morphisms.
Morphisms of CoveringsCovers the concept of morphisms of coverings and emphasizes the recognition of automorphisms.
Morphism of GroupsCovers the concept of morphism of groups, actions on sets, and automorphisms.
