Each Lawvere theory induces a finitary monad on the category of Sets, given by the expressions over the Lawvere theory. finitary functor