3
$\begingroup$

The following construction is probably known. I think it should work in any closed symmetric monoidal category, but I will play it safe and formulate the question in the concrete, cartesian closed setting.

Let $\mathcal C$ be a concrete, cartesian closed category. Let $(M,*,e)$ be a monoid in $\mathcal C$. There is a comonad $(T,\varepsilon,\sigma)$ on $C$ associated to $M$, given as follows:

  • $T(X):=X^M$ ;
  • $\varepsilon_X:X^M\to X$ is the value at the unit of $M$: $\varepsilon_X(f):=f(e)$ ;
  • $\sigma_X:X^M\to {X^M}^M\simeq X^{M\times M}$ is the composition with the multiplication of $M$: $\sigma_X(f)(a,b)=f(a*b)$.

It seems that there are several interesting examples of comonads arising in this way, at least in the category of posets. For example, closure operators on posets arise from this construction as Eilenberg-Moore coalgebras (take $M$ to be the two-element semilattice).

What is the name of this construction and where can read more about it?

$\endgroup$
1
  • 1
    $\begingroup$ We can regard $\mathcal{C}^\mathrm{op}$ as a $\mathcal{C}$-enriched category with tensors (or category with a left $\mathcal{C}$-action); then this is a special case of the monad associated with a monoid. (A monad on $\mathcal{C}^\mathrm{op}$ is the same thing as a comonad on $\mathcal{C}$.) $\endgroup$
    – Zhen Lin
    Jul 12, 2014 at 15:00

2 Answers 2

8
$\begingroup$

This looks like a special case of the fact that given a monad $T$ whose underlying functor has a right adjoint, that right adjoint $C$ acquires a comonad structure (mated to the structure of the monad), and the category of $M$-algebras is equivalent to the category of $C$-coalgebras. (Here $T$ is $M \times -$, with right adjoint $(-)^M$.)

This observation was first made by Eilenberg and Moore (Adjoint functors and triples, Illinois J. Math. 9, 3 (1965), 381-398). There is a little on this in the nLab here.

$\endgroup$
3
$\begingroup$

Todd answered your question exactly. I'll add that the fact also holds in any closed category http://ncatlab.org/nlab/show/closed+category.

One can define a monoid in a closed category as an object $R$ equipped with morphisms $R \to [R, R]$ and $I \to R$ satisfying three axioms. Then $[R, -]$ becomes a comonad.

The fact for closed monoidal categories then follows since every CMC is a closed category, and the concepts of monoids coincide.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.