Kerodon

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

Example 9.2.9.3 (Trivial Factorization Systems). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $W$ be the collection of all isomorphisms in $\operatorname{\mathcal{C}}$, and let $A$ denote the collection of all morphisms in $\operatorname{\mathcal{C}}$. Then the pairs $(W,A)$ and $(A,W)$ are factorization systems on $\operatorname{\mathcal{C}}$ (see Corollary 9.2.7.14).