Implication Details

Assumptions: coequalizers, self-dual

Conclusions: equalizers

Proof: This holds by self-duality.