Skip to main content
2 of 2
replaced http://mathoverflow.net/ with https://mathoverflow.net/

Localization of a symmetric monoidal category is monoidal when the morphisms being inverted are closed under tensor product

In the answer to question Localization of symmetric monoidal category, it was mentioned that '' Assuming that the tensor product of two morphisms in $S$ is again in $S$, the localised category should inherit a symmetric monoidal structure, just by the universal property.''

So I want to know by which universal property we can show that $\mathcal{M}[S^{-1}]$ inherit a symmetric monoidal structure?

Since I cannot comment on the original answer, I posted this as a new (stupid) question.

kousaka
  • 131
  • 2