Kerodon

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

Remark 11.9.1.3. In the situation of Theorem 11.9.1.1, let $F$ and $F'$ be isomorphic objects of the $\infty $-category $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}})$. Then $F$ satisfies conditions $(1)$ and $(2)$ of Theorem 11.9.1.1 if and only if $F'$ satisfies conditions $(1)$ and $(2)$ of Theorem 11.9.1.1. See Corollaries 4.6.7.15 and 5.1.2.5.