Implication Details

Claim: Given a functor whose codomain has biproducts, and whose domain has biproducts, if it preserves finite products, then it preserves finite coproducts.

Proof: This follows from the dual implication.

This implication has a dual.