Remark 11.10.1.18. We will see later that Corollary 11.10.1.17 remains valid without the assumption that $\operatorname{\mathcal{E}}$, $\operatorname{\mathcal{E}}'$, and $\operatorname{\mathcal{C}}$ are $\infty $-categories; see Corollary 
.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$