Kerodon

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

Warning 6.3.0.4. Let $\operatorname{\mathcal{C}}$ be a category and let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. If $\operatorname{\mathcal{C}}$ is small, then the strict localization $W^{-1} \operatorname{\mathcal{C}}$ is also small. Beware that if $\operatorname{\mathcal{C}}$ is only assumed to be locally small (Definition ), then $W^{-1} \operatorname{\mathcal{C}}$ need not be locally small. However, one can often ensure that $W^{-1} \operatorname{\mathcal{C}}$ is small by imposing additional assumptions on the collection of morphisms $W$.