Implication Details

Assumptions: left cancellative

Conclusions: Cauchy complete

Reason: Any idempotent monomorphism must be the identity and therefore splits.