Kerodon

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

Definition 9.6.9.11. Let $\operatorname{\mathcal{C}}$ be an accessible $\infty $-category. We will say that a factorization system $(S_ L, S_ R)$ on $\operatorname{\mathcal{C}}$ is accessible if it satisfies the equivalent conditions of Proposition 9.6.9.10.