Timeline for Monadic interpretation of coalgebras over operads
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 22, 2018 at 21:53 | answer | added | user123610 | timeline score: 2 | |
| Oct 3, 2017 at 19:17 | comment | added | Mike Shulman | MO's related links points me to mathoverflow.net/q/152785/49 | |
| Oct 3, 2017 at 19:15 | comment | added | Mike Shulman | @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 16:58 | comment | added | Denis Nardin | 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:38 | history | asked | User371 | CC BY-SA 3.0 |