Definition 4.27.20. Let $\mathcal{C}$ be a category and let $S$ be a multiplicative system. We say $S$ is saturated if, in addition to MS1, MS2, MS3, we also have

1. Given three composable morphisms $f, g, h$, if $fg, gh \in S$, then $g \in S$.

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