Implication Details

Assumptions: finitary, finite-coproduct-preserving

Assumptions on source category: finite coproducts

Conclusions: coproduct-preserving

This implication has been dualized from this implication.