3
$\begingroup$

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 \mathcal M[S^{-1}]$, defined by

  1. for each $x\in S$, there is $y\in\mathcal M[S^{-1}]$ such that $Tx\otimes y \cong I$;

  2. for each $x \mathop{\longrightarrow}^f y \in S$, $Tf$ is an isomorphism in $\mathcal M[S^{-1}]$;

  3. maybe there are some coherence conditions on the above;

  4. $T$ is the universal symmetric monoidal functor with these properties.

Is there a reference which covers this construction and its properties?

Improve this question
$\endgroup$
1

2 Answers 2

Reset to default
5
$\begingroup$

Localising with respect to morphisms is fairly standard. 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.

Localising with respect to objects is Quillen's $\mathcal{A}^{-1}\mathcal{A}$ construction. This is explained in Grayson's paper "Higher algebraic K-theory. II (after Daniel Quillen)", for example. To avoid making mistakes with this, you should also read Thomason's paper "Beware the phony multiplication on Quillen's $\mathcal{A}^{-1}\mathcal{A}$".

Improve this answer
$\endgroup$
1
$\begingroup$

A reference regarding the monoidal structure on $M[S^{-1}]$ is Brian Day's Note on monoidal localisations. It also talks about the enriched setting, and about monoidal completion.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .