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 precise monadicity theorem says that a right adjoint is monadic exactly when it reflects isomorphisms and creates coequalizers of the pairs whose images have split coequalizers.
Articles by others on the same topic
There are currently no matching articles.