Iterating monoid categories

Question

Let $(C, \otimes)$ be a symmetric monoidal category (maybe braided is also okay). Then the category $\text{Mon}(C)$ of monoid objects in $C$ is also a symmetric monoidal category with the same monoidal product. The category $\text{Mon}(\text{Mon}(C))$ is, by the Eckmann-Hilton argument, just the category of commutative monoids in $C$; by a second application of Eckmann-Hilton, the process of constructing monoid categories stabilizes in the sense that the corresponding sequence of forgetful functors

$$... \to \text{Mon}(\text{Mon}(C)) \to \text{Mon}(C) \to C$$

stabilizes to a sequence of equivalences by the third functor at worst. However, the same argument shows that if $C$ is itself the category of monoids in some other symmetric monoidal category, then this sequence in fact stabilizes by the second functor, and if $C$ is itself the category of commutative monoids in some other symmetric monoidal category, then this sequence in fact stabilizes by the first functor.

So symmetric monoidal categories are divided up into three classes based on how soon the process of repeatedly constructing monoid categories stabilizes. Are there names for these three classes? Are there theorems characterizing them, for example theorems to the effect that if $C$ stabilizes early then it is nontrivially a category of monoids (not just $\text{Mon}(C)$ in the case that it stabilizes by the first functor)? (Vaguer question: is there some kind of homotopy-theoretic interpretation of these three classes?)

A somewhat nontrivial example of a category $C$ such that $\text{Mon}(C) \to C$ is already an equivalence is $C = \text{Set}^{op}$ with categorical coproduct (product in $\text{Set}$) as the monoidal product. This is due to the fact that every set has a unique comonoid structure given by the diagonal $X \ni x \mapsto (x, x) \in X \times X$. The corresponding monoid interpretation is that $\text{Set}^{op}$ can be realized as a suitable category of Boolean rings, which are commutative monoid objects in the category of abelian groups (with tensor product).

Answer 1

Your example suggests the characterization of those $C$ which are already stabilized: they are exactly the monoidal categories whose monoidal structure is cocartesian. To see this, it suffices to observe that the monoidal structure on $\mathrm{CMon}(C)=\mathrm{Mon}(\mathrm{Mon}(C))$ is always cocartesian, and that cocartesianness makes every object into a commutative monoid in a unique way.

I don't know a similar characterization of monoidal categories that stablize after one step.

Answer 2

If you take commutative monoids in the first step, there is another natural choice of monoidal product on $\mathrm{CMon}(C)$. Namely, the universal "bilinear" construction, due in this generality to Anders Kock: in case $(C,\otimes) = (\mathrm{Set},\times)$, morphisms $M \otimes N \to K$ correspond to functions $M \times N \to K$ that are monoid morphisms in each argument separately when the other is fixed. In a sense this is more interesting, because no collapse of the kind you describe occurs. In fact, $\mathrm{Mon}(\mathrm{CMon}(C))$ is precisely the category of semirings in $C$. So heightening the "tower" of monoid categories then adds structure that occurs naturally and often in algebra.

See also http://dx.doi.org/10.1016/j.entcs.2008.10.012 and references therein. Incidentally, that paper also has a precise proof of the result Mike Shulman's answers refers to.