Covers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.
Covers the concept of morphism of groups, actions on sets, and automorphisms.
Explores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Explores equivariant bijections between groups of automorphisms and the compatibility with group operations.
Covers bijections between automorphisms and equivariant bijections in group isomorphisms.
