Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Galois CorrespondenceCovers the Galois correspondence, establishing a bijection between certain classes of groups and coverings.
Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.