Remark 4.27.15. Let $\mathcal{C}$ be a category. Let $S$ be a right multiplicative system. Given an object $X$ of $\mathcal{C}$ we denote $S/X$ the category whose objects are $s : X' \to X$ with $s \in S$ and whose morphisms are commutative diagrams

$\xymatrix{ X' \ar[rd]_ s \ar[rr]_ a & & X'' \ar[ld]^ t \\ & X }$

where $a : X' \to X''$ is arbitrary. The category $S/X$ is cofiltered (see Definition 4.20.1). (This is dual to the corresponding statement in Remark 4.27.7.) Now the combined results of Lemmas 4.27.13 and 4.27.14 tell us that

4.27.15.1
$$\label{categories-equation-right-localization-morphisms-colimit} \mathop{\mathrm{Mor}}\nolimits _{S^{-1}\mathcal{C}}(X, Y) = \mathop{\mathrm{colim}}\nolimits _{(s : X' \to X) \in (S/X)^{opp}} \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X', Y)$$

This formula expressing morphisms in $S^{-1}\mathcal{C}$ as a filtered colimit of morphisms in $\mathcal{C}$ is occasionally useful.

There are also:

• 20 comment(s) on Section 4.27: Localization in categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).