Implication Details

Assumptions: preserves coequalizers, preserves coproducts

Assumptions on source category: coproducts

Conclusions: cocontinuous

This implication has been dualized from this implication.