4.27.15.1
\begin{equation} \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) \end{equation}
Comments (0)
There are also: