ct.category theory - Is the category commutative monoids cartesian closed?

Here's a couple of useful references:

P. Freyd: Algebra valued functors in general and tensor products in particular (MR0195920)

This paper shows that a commutative variety of algebras (such as commutative monoids) is closed monoidal. This is the construction that Peter mentions in his answer.

I don't have access to MathSciNet right now, but if you go to the MSN page for the above and click on the "in reviews" button, then you will (I think) get a paper that considers when such an algebraic theory has a cartesian closed structure. I'm not sure whether or not the condition is merely sufficient, or is an if-and-only-if, but if I remember correctly, the condition had to do with diagonals. That is, you take an arbitrary operation and feed the same thing in to every input. But I'm not entirely sure what the condition was, off the top of my head, except that it was very strong and not satisfied by commutative monoids!

(Apologies for the vagueness of the above; when I get MathSciNet access again I'll fill in the details)

---

Update: A long bus ride with little to do provided ample opportunity to fill in the details. We want an algebraic theory that is cartesian closed. Let $mathcal{V}$ be our theory. Then we need an internal hom, $underline{mathcal{V}}(B,C)$, and an adjunction $mathcal{V}(A,underline{mathcal{V}}(B,C)) cong mathcal{V}(A times B,C)$. Now, having the internal hom is, via the paper of Freyd above, tantamount to the algebraic theory being commutative. That means that all the operations of the theory commute with each other (so, for example, a binary operation commuting with itself has to satisfy $(ab)(cd) = (ac)(bd)$, more on the nlab page http://ncatlab.org/nlab/show/commutative+theory). This implies, as Peter says above and Freyd proves in his paper, that $mathcal{V}$ is closed monoidal, but the monoidal structure is not necessarily the cartesian product. So we want to look at when it is the cartesian product. So assume that it is. Then a $mathcal{V}$-morphism $A to underline{mathcal{V}}(B,C)$ corresponds to a morphism $A times B to C$.

Consider an operation in the algebraic theory, say $nu$, and suppose that it has arity $n$. Let $f colon A times B to C$ be a $mathcal{V}$-morphism. As this is a morphism, we have that

$$nubig(f(a_1,b_1),...,f(a_n,b_n)big) = f(nubig((a_1,b_1),...,(a_n,b_n)big)) = f(nu(a_1,...,a_n),nu(b_1,...,b_n))$$

We also insist that the map $a mapsto (b mapsto f(a,b))$ is a $mathcal{V}$-morphism. Now the $mathcal{V}$-structure on $underline{mathcal{V}}(B,C)$ is given as follows: $nu$ applied to $g_1,...,g_n$ is the map $b mapsto nu(g_1(b),...,g_n(b))$. That is, it factors as $B to B^n to C^n to C$ where the first map is the diagonal, the second the product of the $g_i$, and the third is $nu$. So to say that $a mapsto (b mapsto f(a,b))$ is a $mathcal{V}$-morphism, we mean that it commutes with our typical operation, $nu$. Thus

$$b mapsto f(nu(a_1,...,a_n),b)$$

is the same as
$$nuBig(b mapsto f(a_1,b), b mapsto f(a_2,b), ..., b mapsto f(a_n,b)Big)$$

This latter is

$$b mapsto nu(f(a_1,b), ..., f(a_n,b))$$

But since $f$ itself was a morphism of $mathcal{V}$-algebras, this simplifies to

$$b mapsto f(nu(a_1, ..., a_n), nu(b,...,b))$$

So we conclude that

$$f(nu(a_1,...,a_n),nu(b,...,b)) = f(nu(a_1,...,a_n),b)$$

As everything was generic, we conclude that we must have the identity

$$nu(b,...,b) = b$$

for every $mathcal{V}$-operation. This is a necessary condition. I am not sure if it is sufficient (I have a vague recollection that it is not, but still don't have MathSciNet access so can't check).

For commutative monoids, we have two operations: $0$ and $+$. For addition, we get the condition $b + b = b$ which is pretty strong! For $0$, we get the even stronger condition that $0 = b$. So if we take "commutative monoids" and impose identities to try to get a cartesian closed category, we end up with a pretty trivial algebraic theory!

• Next lo.logic - What are some results in mathematics that have snappy proofs using model theory?
• Previous smooth manifolds - On the $mathbb R$-algebra structure on $C^infty(M)$.