Comonadic adjunction
= Comonadic adjunction
An adjunction is comonadic when the comparison from its left-hand category to coalgebras for the induced comonad is an equivalence. The dual Beck theorem tests this using reflected isomorphisms and suitable equalizers.
The relevant criterion is the <Beck comonadicity theorem>, dual to <Beck's monadicity theorem>.