Implication Details

Assumptions: coequalizer-preserving, finite-coproduct-preserving

Assumptions on source category: finite coproducts

Conclusions: right exact

This implication has been dualized from this implication.