Example 9.6.9.20. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a cocontinuous functor between cocomplete $\infty $-categories, and let $\overline{W}$ be the collection of morphisms $w$ of $\operatorname{\mathcal{C}}$ such that $F(w)$ is an isomorphism in $\operatorname{\mathcal{D}}$. Then $\overline{W}$ is strongly saturated.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$