Split monomorphism

Summary