Epimorphism
Backlinks
Projective Object
Transitive Group Action
Split Epimorphism