functor preserving finite products

1. Definition

Let $C, D$ be categories and $F : C \to D$ a functor. Then $F$ is said to be preserving finite products, if

\begin{array}{r} F (\prod_{i \in I} A_{i}) = \prod_{i \in I} (F (A_{i})) \end{array}