Examples of a monad in a monoid (i.e. category with one object)?

So you can interpret a functor $T$ as a homomorphism $T:M \rightarrow M$. What is the interpretation of a natural transformation between two such functors? Well, it should assign to each element in the base category (there's only one!) some morphism such that the necessary diagram is natural. So we can think of $\eta, \mu$ as being elements of the monoid $M$, satisfying the following identities: $$\begin{align*}\eta m &= T(m)\eta \\ \mu T^2(m) &= T(m) \mu \end{align*}$$ for all $m$.

The associativity of $T$ becomes $$ \mu T(\mu) = \mu^2 $$ Note two things. First, that this is an identity of elements of the monoid $M$. The LHS corresponds to the natural transformation $\mu \circ T\mu$, while the RHS is the natural transformation $\mu \circ \mu T$. Since the functor $T$ fixes the only point in the category, $\mu T = \mu$. The unit law is:

$$\mu T(\eta) = e = \mu \eta.$$

It's not clear to me right now what this means for a general monoid, but for a group, we see that $T$ is actually just conjugation by $\eta$, and $\mu$ is the inverse of $\eta$. So at least for groups, the monads are just inner automorphisms, which is nice. I can't think of an interpretation for a general monoid, but the intuition from groups might help.


I wrote some blog posts about Monads on Monoids and Adjunctions between Monoids. The main results are:

  • If $M$ is commutative, a group, or finite, then every monad on it is a conjugation.
  • Every monad on monoids arises from a unique adjunction between monoids.
  • There are examples of monads on monoids that aren't given by conjugation. These are necessarily quite complicated, since by the first bullet point they must be infinite noncommutative monoids that aren't groups. One example is given by taking $M$ to be the monoid of order preserving functions $\mathbb N \to\mathbb N$ which are eventually translations, i.e. with the property that for all sufficiently large $n\in\mathbb N$ they have the form $n\mapsto n+c$ for some $c\in\mathbb Z$. We then define $\eta$ by $\eta(n)=n+1$, $\mu$ by $\mu(n+1)=n$ and $\mu(0)=0$, and $T$ by $T(f)(n+1) = f(n)+1$ and $T(f)(0)=0$.