 Coalgebra for a comonad

For a comonad, a coalgebra is a map $a:A\to GA$ satisfying ${ϵ}_{A}a=1_A$ and ${\delta }_{A}a=Gaa$. A morphism $f:(A,a)\to (B,b)$ obeys $bf=Gfa$. This is distinct from the tensor-based notion of a coalgebra in algebra.