Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.
Morphism of GroupsCovers the concept of morphism of groups, actions on sets, and automorphisms.
Equivalences of CategoriesExplores examples of natural transformations, equivalence of categories, and adjunction with specific instances involving Un.
