Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 7.6.1.18. In the situation of Proposition 7.6.1.17, let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor which preserves the limits of each of the diagrams $f_ i$. Suppose that the collection $\{ X_ i \} _{i \in I}$ admits a product in $\operatorname{\mathcal{C}}$. Then the product of $\{ X_ i \} _{i \in I}$ is preserved by the functor $F$ if and only if the limit of $f$ is preserved by the functor $F$.