An adjunction is monadic when its comparison functor from the right-hand category to the Eilenberg-Moore category of the induced monad is an equivalence.
The induced monad determines this comparison; Beck's monadicity theorem gives a criterion for it to be an equivalence of categories.
New to topics? Read the docs here!