Titlebook: ;

Gourmet

NICE

Adjunctions and Monads an action of .(.), a set in which every formal linear combination has been given a value. Of course, a monad can be defined over every category, not just Set. The Beck criterion characterizes those categories which are categories of algebras for a monad.