Assumptions: coequalizers
Conclusions: Cauchy complete
This implication has been dualized from this implication.