Source: wikibot/beck-s-monadicity-theorem

= Beck's monadicity theorem
{wiki=Beck's_monadicity_theorem}