Question 9.6.9.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $S_ L$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. When does there exist a collection of morphisms $S_{R}$ of $\operatorname{\mathcal{C}}$ such that $(S_ L, S_ R)$ is a factorization system?
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$