4.27.7.1
\begin{equation} \label{categories-equation-left-localization-morphisms-colimit} \mathop{\mathrm{Mor}}\nolimits _{S^{-1}\mathcal{C}}(X, Y) = \mathop{\mathrm{colim}}\nolimits _{(s : Y \to Y') \in Y/S} \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, Y') \end{equation}
Comments (0)
There are also: