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.