Another comonad used in CS is known as Store. It maps $X$ to $(A\to X)\times A$. The comultiplication takes $(f,a)$ to $((f,-),a)$, and the counit takes $(f,a)$ to $f(a)$.
NoLongerBreathedIn
- 203
- 2
- 5