Noun
split epimorphism (plural split epimorphisms) (category theory) A morphism which has a right inverse.