comonad
In category theory, a comonad on a category is an endofunctor together with two natural transformations and that satisfy the following equations:
Or, as commutative diagrams:
In category theory, a comonad on a category is an endofunctor together with two natural transformations and that satisfy the following equations:
Or, as commutative diagrams:
Created: 2026-04-17 Fri 00:01