Implication Details

Assumptions: coequalizer-preserving, coproduct-preserving

Assumptions on source category: coproducts

Conclusions: cocontinuous

This implication has been dualized from this implication.