Implication Details

Claim: If a category has biproducts and has filtered colimits, then it has cartesian filtered colimits.

Proof: If $I$ is a finite set, the product functor $\C^I \to \C$ is isomorphic to the coproduct functor $\C^I \to \C$, hence preserves all colimits that exist in $\C$.