Implication Details

Assumptions: finitary, preserves finite coproducts

Assumptions on source category: finite coproducts

Conclusions: preserves coproducts

This implication has been dualized from this implication.