Beck monadicity theorem
ID: beck-monadicity-theorem
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.
New to topics? Read the docs here!