Implication Details

Assumptions: abelian

Conclusions: additive, coequalizers, epi-regular, equalizers, mono-regular

This is an equivalence.

Reason: This holds by definition.