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$

There are also:

• 12 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).