The concept of a monadmonad 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 of comonads, in different categories, and different fields of math?
