Kerodon

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

Definition 9.1.1.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. We say that $W$ is localizing if the following conditions are satisfied:

$(1)$

Every isomorphism of $\operatorname{\mathcal{C}}$ is contained in $W$.

$(2)$

The collection of morphisms $W$ satisfies the two-out-of-three property. That is, for every $2$-simplex

\[ \xymatrix@R =50pt@C=50pt{ & Y \ar [dr]^{v} & \\ X \ar [ur]^{u} \ar [rr]^{w} & & Z } \]

in $\operatorname{\mathcal{C}}$, if any two of the morphisms $u$, $v$, and $w$ belongs to $W$, then so does the third.

$(3)$

For every object $X \in \operatorname{\mathcal{C}}$, there exists a morphism $w: X \rightarrow Y$ which belongs to $W$, where the object $Y$ is $W$-local.

We will say that $W$ is colocalizing if it satisfies conditions $(1)$ and $(2)$, together with the following dual version of $(3)$:

$(3')$

For every object $X \in \operatorname{\mathcal{C}}$, there exists a morphism $w: Y \rightarrow X$ which belongs to $W$, where the object $Y$ is $W$-colocal.