Implication Details

Claim: Given a functor whose domain has finite products, if it is cofinitary and preserves finite products, then it preserves products.

Proof: This is because every product can be written as a filtered limit of finite products, see Mac Lane, Ch. IX, Theorem 1.1.