Implication Details

Assumptions: left cancellative

Conclusions: coreflexive equalizers, reflexive coequalizers

Reason: Any parallel pair of morphisms with a common section (or retraction) must be a pair of equal isomorphisms.