Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
2 answers
1k views

Localization of a symmetric monoidal category at a single morphism

Let $C$ be a symmetric monoidal category, and $f : x \to y$ be a morphism in $C$. I would like to construct the localization $C_f$ explicitly, which solves the universal property $$\mathrm{Hom}_{\...
Martin Brandenburg's user avatar
3 votes
2 answers
756 views

Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T \...
Yuri Sulyma's user avatar
  • 1,838
3 votes
2 answers
691 views

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 ...
kousaka's user avatar
  • 131
3 votes
0 answers
246 views

The multiplicative system in a symmetric monoidal category

Let $\mathcal{C}$ be a symmetric monoidal category. In the 1973 paper "Note on monoidal localisation" by Brian Day, the multiplicative system of morphism in $\mathcal{C}$ has been discussed. See also ...
Zhaoting Wei's user avatar
  • 9,019