Implication Details

Assumptions: subobject-trivial

Conclusions: coreflexive equalizers, reflexive coequalizers

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