Noun
split monomorphism (plural split monomorphisms) (category theory) A morphism which has a left inverse.