Skip to main content
Source Link

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)$.

Post Made Community Wiki by NoLongerBreathedIn