Skip to main content
MathOverflow

Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

In the answer to question Localization of symmetric monoidal categoryLocalization 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.

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.

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.

Bumped by Community user
Bumped by Community user
Bumped by Community user
Source Link
kousaka
kousaka
  • 131
  • 2

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.