All Questions

The concept of a monad is very well established, and there are very many examples of monads pertaining almost all areas of mathematics. The dual concept, a comonad, is less popular. What are examples ...

This is crosspost of this MSE question. Having carefully read the proof of Beck's monadicity theorems and some related variations, I'm now hungry for cool applications. For instance, I found these ...