Beck's monadicity theorem

In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Jonathan Mock Beck (1968). It is often stated in dual form for comonads.

Source: Wikipedia — Beck's monadicity theorem (CC BY-SA 4.0)