Extend


Graphic

graph LR; A[Functor] --> B[Extend] B --> D[Comonad]

Example:

-

Read More: