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 cofiltered limit of finite products, see Mac Lane, Ch. IX, Theorem 1.1.
This implication has a dual.