Beck monadicity theorem
= Beck monadicity theorem
{c}
{wiki=Beck's_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.