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

Exercise In the situation of Corollary, let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be a full subcategory of $\operatorname{\mathcal{C}}$. Show that $\eta $ exhibits $L$ as a $\operatorname{\mathcal{C}}'$-localization functor if and only if the following conditions are satisfied:

  • For each object $X \in \operatorname{\mathcal{C}}$, the object $L(X)$ is contained in $\operatorname{\mathcal{C}}'$.

  • For each object $Y \in \operatorname{\mathcal{C}}'$, there exists an isomorphism $Y \rightarrow L(X)$ for some object $X \in \operatorname{\mathcal{C}}$.

If the subcategory $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ is replete (Example, then it is uniquely determined by these conditions.