split monomorphism