Implication Details

Assumptions: preserves finite products

Requirements of the source: biproducts

Requirements of the target: biproducts

Conclusions: preserves finite coproducts

Proof: This is trivial.

Show 3 functors using this implication