Implication Details
Claim: Given a functor whose codomain has biproducts, and whose domain has biproducts, if it preserves preserves finite products, then it preserves preserves finite coproducts.
Proof: This is trivial.
Claim: Given a functor whose codomain has biproducts, and whose domain has biproducts, if it preserves preserves finite products, then it preserves preserves finite coproducts.
Proof: This is trivial.