# Monadic interpretation of coalgebras over operads

The structure of an algebra $A$ over a operad $O$ is encoded by an operad morphisms from $O$ to $\{Hom(A^{\otimes k},\, A)\}_{k}$. The same structure can be stored using the structure $M_OA\to A$ of an algebra over the monad $M_O$ which is defined on an object $A$ by $\bigoplus_j O(j)\otimes_{\Sigma_j} A^{\otimes j}$ and its structure maps $M_O\circ M_O\to M_O$ and $1\to M_O$ are induced from composition and unit respectively.

The structure of an coalgebra $C$ over a operad $O$ is encoded by an operad morphisms from $O$ to $\{Hom(C,C^{\otimes k})\}_{k}$.

Is there a monadic interpretation of coalgebras over an operad?

• A coalgebra is just an algebra in the opposite category, so the category of coalgebras over an operad is comonadic rather than monadic in general. Oct 3, 2017 at 16:58
• @DenisNardin However, I believe that the encoding of an operad action as a monad action uses the fact that $\otimes$ distributes over the infinite coproduct $\bigoplus_j$. Since $\otimes$ doesn't usually distribute over infinite products, it's not clear to me that coalgebras over an operad can usually be encoded as a coalgebra over a comonad. Oct 3, 2017 at 19:15
• MO's related links points me to mathoverflow.net/q/152785/49 Oct 3, 2017 at 19:17