·adj Of, pertaining to, or like, a monad, in any of its senses. ·seeMonad, ·noun.
Beck's monadicity theorem
In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by in about 1964. It is often stated in dual form for comonads.