Timeline for The coEilenbeg-Moore category of an Eilenberg-Moore category
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 13, 2022 at 10:56 | answer | added | varkor | timeline score: 1 | |
| Sep 20, 2019 at 3:23 | comment | added | Ben MacAdam | @ToddTrimble Thanks for pointing out that material - I was able to prove a much stronger result than I had expected. | |
| Sep 19, 2019 at 20:01 | comment | added | Todd Trimble | Did you have a specific question? One not terribly difficult result is that if one takes a monad $M$ on $Set$ and passes to the co-Eilenberg-Moore category over $Set^M$, then one gets $Set$ back provided that $F(!): F(0) \to F(1)$ is a regular monomorphism in $Set^M$ but not an isomorphism. This condition holds in a great many examples. The result is due to Mesablishvili -- see the nLab: ncatlab.org/nlab/show/comonadic+functor | |
| Sep 19, 2019 at 19:34 | history | asked | Ben MacAdam | CC BY-SA 4.0 |