comonad

In category theory, a comonad on a category is an endofunctor together with two natural transformations and that satisfy the following equations:

• .