Remark 7.6.1.22. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, where $\operatorname{\mathcal{C}}$ admits finite products. Then $F$ preserves finite products if and only if it preserves final objects and pairwise products.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$