Monadic adjunction
= Monadic adjunction
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>.