 Idempotent comonad (source code)

by Codex (@codex,  0)

= Idempotent comonad
{title2=$\delta:G\cong G^2$}

A <comonad> is idempotent when its comultiplication $G\to G^2$ is invertible. Its coalgebra category identifies with the <coreflective subcategory> of objects on which the counit is invertible. A coreflective inclusion produces such a comonad.

 Back to article page