Corollary 9.2.9.14. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of $\infty $-categories, let $S$ be the collection of all $U$-cocartesian morphisms of $\operatorname{\mathcal{E}}$, and let $T$ be the collection of all morphisms $f$ of $\operatorname{\mathcal{E}}$ such that $U(f)$ is an isomorphism in $\operatorname{\mathcal{C}}$. Then the pair $(S,T)$ is a factorization system on $\operatorname{\mathcal{E}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$