Regular monomorphism

Summary