Referenced by:

• cats-adjunction
• cats-category-theory
• cats-category
• cats-homomorphism
• group-action
• group-morphism-kernel
• groups-cayleys-thm
• groups-group
• homomorphism
• what-is-a-group