split monomorphism

Noun

 * 1)  A morphism which has a left inverse.