Adding inverses to a symmetric monoidal category (Reference?)

Question

As we all know, the forgetful functor $\mathsf{Ab} \to \mathsf{CMon}$ from abelian groups to commutative monoids has a left adjoint, the Grothendieck group. I would like to categorify this construction.

For this, abelian groups should be replaced by symmetric monoidal categories in which every object is invertible, let's call them abelian $2$-groups (notice that $2$-groups usually are assumed to be groupoids; if possible I would like to avoid this assumption). And commutative monoids are replaced by symmetric monoidal categories. We have a forgetful functor of $2$-categories $\mathsf{2Ab} \to \mathsf{2CMon}$. I am pretty sure that it has a left adjoint (in the $2$-categorical sense) and how it looks like, but it is quite tedious to verify all the details. Therefore I would like to know if this construction is already known (probably!) and if it has been written down somewhere, so that I may cite it.

Here is a sketch of the construction: Given a symmetric monoidal category $S$, whose tensor product will be denoted simply by $(a,b) \mapsto ab$, we define a symmetric monoidal category $S^{-1} S$ as follows (not to be confused with Quillen's $S^{-1} S$!): Objects are pairs of objects of $S$. One should think of $(a,b)$ as $a^{-1} b$. A morphism $(a,b) \to (c,d)$ is an equivalence class of morphisms $ebc \to ead$ for objects $e$, where two such morphisms $ebc \to ead$, $fbc \to fad$ are called equivalent if there are objects $e',f'$ and an isomorphism $e'e \to f'f$ such that $$\begin{array}{c} e'ebc & \rightarrow & e'ead \\ \downarrow && \downarrow \\ f'fbc & \rightarrow & f'fad \end{array}$$ commutes. The composition of morphisms is a little bit long, but is motivated by the transitivity proof in the construction of the usual Grothendieck group (one also has to check the category axioms ...). The tensor product is $(a,b) (c,d) := (ca,bd)$ on objects (one also has to define it on morphisms ...), the unit is $(1,1)$. Then $(a,b) (b,a) = (ba,ba) \cong (1,1)$ shows that every object is invertible. One has a symmetric monoidal functor $\iota : S \to S^{-1} S$, $a \mapsto (1,a)$. If $F : S \to T$ is a symmetric monoidal functor and every object of $T$ is invertible, then there is a symmetric monoidal functor $\tilde{F} : S^{-1} S \to T$ with $\tilde{F}(a,b) = F(a)^{-1} F(b)$ (one also has to define $\tilde{F}$ on morphisms and check the coherence diagrams ...) and this construction (probably ...) establishes an equivalence of categories $\hom(S,T) \cong \hom(S^{-1} S,T)$. Notice that if $S$ is discrete, $S$ is just a commutative monoid and $S^{-1} S$ is the usual Grothendieck group of $S$.

Answer 1

Maybe you could be interested in the recent PhD thesis:

Une introduction élémentaire au 2-groupe de Grothendieck by C. Drugmand, 2016, UCL, Louvain-la-Neuve.

http://hdl.handle.net/2078.1/176774

Answer 2

There are left adjoints to the forgetful functors from compact categories (what you call 2CMon) to traced symmetric monoidal categories, and from traced symmetric monoidal categories to symmetric monoidal categories. Composing them should give what you want. The former is known as the Int-construction, and is due to Joyal, Street, and Verity. Sources include Traced monoidal categories and Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories (by Abramsky).

Answer 3

Here are two comments on generalising Drugmand's results.

---

From symmetric monoidal groupoids to symmetric monoidal categories

Note that the Grothendieck group functor $$K_0\colon\mathsf{CMon}\longrightarrow\mathsf{Ab}$$ can be constructed via the tensor product of commutative monoids as $$K_0(A)\cong\mathbb{Z}\otimes_{\mathbb{N}}A.$$ This boils down to the fact that a bilinear map $\mathbb{Z}\times A\to G$ is in natural bijection with a morphism of monoids $A\to G$ sending every element of $A$ to an invertible element of $G$. When $G$ is a group, this is just any morphism of monoids, so it follows that $\mathbb{Z}\otimes_{\mathbb{N}}A$ satisfies the universal property of the abelian group completion of $A$.

I believe (but haven't checked) that one could do something similar for symmetric monoidal categories, generalising Drugmand's symmetric $2$-group completion $2$-functor $$ K^{\mathrm{D}}_{0}\colon\mathsf{SymMonGrpd}\longrightarrow\mathsf{2Ab} $$ taking values in symmetric monoidal groupoids to a $2$-functor $$ K_{0}\colon\mathsf{SymMonCats}\longrightarrow\mathsf{2Ab} $$ taking values in symmetric monoidal categories by defining $$ K_0(\mathcal{C})\overset{\mathrm{def}}{=}\mathbb{S}\otimes_{\mathbb{F}}\mathcal{C}, $$ where $\otimes_\mathbb{F}$ is the tensor product of symmetric monoidal categories and $\mathbb{S}$ is the $1$-truncation of the sphere spectrum.

I think $\mathbb{S}\otimes_{\mathbb{F}}-$ would then factor as groupoid completion followed by Drugmand's $2$-functor.

---

From symmetric monoidal categories to monoidal categories

I think (but again haven't checked) that one could define also a non-abelian Grothendieck $2$-group completion functor $$K_0\colon\mathsf{MonCats}\longrightarrow\mathsf{2Grp}$$ by first delooping a monoidal category $\mathbf{C}$ to a bicategory $\mathbf{B}\mathcal{C}$, taking its classifying space $|\mathrm{N}^{\mathrm{D}}_{\bullet}(\mathbf{B}\mathcal{C})|$, taking the fundamental bigroupoid of that, and then de-delooping back to a $2$-group.

(This is just the categorified version of the non-abelian group completion of a monoid $A$, which is given by $\pi_{1}(|\mathrm{N}_{\bullet}(\mathbf{B}A)|)$, as noted in the comments to another question of Martin here).