Remark 9.2.9.2 (Symmetry). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $(S_{L}, S_{R} )$ be a factorization system on $\operatorname{\mathcal{C}}$. Then the pair $(S_{R}, S_{L} )$ is a weak factorization system on the opposite $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$