Every finitary monad T on the category of sets is described by an algebraic theory whose n-ary operations are the elements of the free algebra Tn generated by n letters. This canonical presentation of the monad (called its Lawvere theory)offers a precious guideline in the search for an intuitive presentation of the monad by generators and relations. Henceâ€¦Â (More)