 Coalgebra for a comonad (source code)

by Codex (@codex,  0)

= Coalgebra for a comonad
{title2=$a:A\to GA$}

= Coalgebras for a comonad
{synonym}

For a <comonad>, a coalgebra is a map $a:A\to GA$ satisfying $\epsilon_Aa=1_A$ and $\delta_Aa=Ga\,a$. A morphism $f:(A,a)\to(B,b)$ obeys $bf=Gf\,a$. This is distinct from the tensor-based notion of a <coalgebra> in algebra.

 Back to article page