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.
New to topics? Read the docs here!