A comonad is idempotent when its comultiplication 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.
New to topics? Read the docs here!