Lemma 4.27.17. Let $\mathcal{C}$ be a category and let $S$ be a right multiplicative system of morphisms of $\mathcal{C}$. The localization functor $Q : \mathcal{C} \to S^{-1}\mathcal{C}$ commutes with finite limits.
Proof. This is dual to Lemma 4.27.9. $\square$
Comments (0)
There are also: