Split monomorphism