What is the free monoidal category generated by a monoid?

Question

In several places in a segment on cohomology (for example, here (PDF)) in John Baez's online lecture notes for a course in 2007 on quantum gravity, much is made of the fact that the simplex category $\Delta$ (category of finite ordinals) is the "free monoidal category on a monoid". Supposedly this is the reason that this category is the initial object in the category of monoidal categories with monoid object.

But what does this mean? If it's defined in those lecture notes, I can't find it. Under some mild assumptions on the tensor product in a monoidal category $C$, we have a free monoid functor $F\colon C\to Mon(C)$, the adjoint of the forgetful functor, which takes objects $X\mapsto \coprod^\infty_{n=0} X^{\otimes n}.$ One says that $F(X)$ is the free monoid object generated by $X$. Can this be what Baez means? Not really, this is generated by an object, not a monoid. What if we take $X$ to be the underlying object of a monoid object? Still not right, the fact that the object generating the free monoidal object had its own monoidal structure seems to have no effect on the resulting free monoid object. And anyway we're looking for a monoidal category, but we only got a monoid object.

What if we take $C=\mathbf{Cat}$, the category of categories? Then we have $Mon(\mathbf{Cat})=\mathbf{MonCat}$ is the category of monoidal categories, and the free functor $F\colon \mathbf{Cat}\to \mathbf{MonCat}$ does give us a monoidal category. Can this be what Baez means? If $C$ is a category, then $F(C)$ is a category whose objects (resp. morphisms) are tuples of objects (resp. morphisms) in $C$. Now it makes better sense why we can take the free monoidal category generated by a monoid: in this context, a monoid $M$ is just a category with one object, a monoid object in $\mathbf{Set}$, and an object of $\mathbf{Cat}.$ So a tuple of a single object is just a natural number. This is starting to look like $\Delta$, at least the objects are right.

But what are the morphisms? They are tuples of morphisms in the original category, which was a category with one object, but apparently no restrictions on the morphisms. If $M$ was a nontrivial monoid, say $x,y\in M$ with $x\neq y$, then the object 1 in the free monoidal category $F(M)$ will have two distinct endomorphisms. However in $\Delta$, there is only one morphism $1\to 1.$ So $\Delta$ is not the free monoidal category generated by a monoid, unless that monoid is the trivial monoid. Is that what Baez means here? $\Delta$ is the free monoidal category generated by the trivial monoid viewed as a category with one object (and only the trivial arrow)?

He develops the idea also in his This Week's Finds column in 2001. There he says "free monoidal category on a monoid object", and the lack of specificity makes me think that not only does it not matter what monoid you start with, it doesn't even matter what monoidal category you take your monoid object from: you'll still get $\Delta$. But that's just not what I'm seeing. Can someone set me straight?

Answer 1

I think you are interpreting it as "(free monoidal category) on a monoid", while it's really "free (monoidal category on a monoid)", or rather "free (monoidal category with a monoid)".

Now to construct it you have have to find which morphisms should exists as a consequences of the axioms, i.e. which morphisms you are sure to see whenever you have a monoid in a monoidal category. Clearly, if $X$ is an object in a monoidal category $C$, the only morphisms between $X^{\otimes n}$ and $X^{\otimes m}$ that exists whatever $(C,X)$ are, are the identity when $m=n$. So the free monoidal category is just $\mathbb{N}$ whith $\hom(m,n)=${id} if $m=n$, and is empty otherwise.

But if $X$ is a monoid, you get by definition a morphism $X \otimes X \rightarrow X$ and a morphism $I \rightarrow X$ where $I$ is the identity object. These morphisms clearly extends to morphisms $\delta_i:X^{\otimes n+1}\rightarrow X^{\otimes n}$ and $\sigma_i: X^{\otimes n}\rightarrow X^{\otimes n+1}$ just by tensoring them with identity morphisms, and then you can compose them to get maps $X^{\otimes m}\rightarrow X^{\otimes n}$. Finally, it's easy to see that the commutation relation between these morphisms imposed by the axioms of a monoid are precisely those satisfied by the simplicial maps in $\Delta$.

Answer 2

It seems to me that the answer to your question is at the end of your first paragraph: "the initial object in the category of monoidal categories with monoid object". A monoidal category with monoid object is a pair $(C,M)$ where $C$ is a monoidal category and $M$ is a monoid-object of $C$ (i.e., $M$ consists of an object of $C$, also called $M$, with a multiplication morphism $M\otimes M\to M$ and unit $I\to M$ satisfying the usual laws for monoids). A morphism from $(C,M)$ to $(C',M')$ is a monoidal functor $F:C\to C'$ such that $F(M)=M'$. That defines the category of monoidal categories with monoid object, and what you want is the initial object there.