Idempotent comonad ($\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.