The concept of a [monad][1] 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?


  [1]: https://ncatlab.org/nlab/show/monad