Isomorphism in Aut(p)Explores isomorphism between Aut(p) and a Galois covering through topology course notes.
Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.