Implication Details

Assumptions: finitary, preserves finite coproducts

Requirements of the source: finite coproducts

Conclusions: preserves coproducts

This implication has been dualized from this implication.

Show 2 functors using this implication