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