Implication Details
Claim: Given a functor whose codomain has biproducts, and whose domain has biproducts, if it preserves preserves finite coproducts, then it preserves preserves finite products.
Proof: This follows from the dual implication.
Claim: Given a functor whose codomain has biproducts, and whose domain has biproducts, if it preserves preserves finite coproducts, then it preserves preserves finite products.
Proof: This follows from the dual implication.