Robuta

https://ncatlab.org/nlab/show/monadicity+theorem monadicity theorem in nLab monadicity theoremnlab