 Finitary monad

A monad on sets is finitary when its underlying functor preserves filtered colimits. Its operations on finite free algebras form a Lawvere theory.