https://123deta.com/document/z3d2ovp8-on-the-monadicity-of-categories-with-chosen-colimits.html