Finitary monad
= Finitary monad
{wiki=Monad_(category_theory)#Algebras_for_a_monad}
A monad on sets is finitary when its underlying functor preserves filtered colimits. Its operations on finite free algebras form a Lawvere theory.
= Finitary monad
{wiki=Monad_(category_theory)#Algebras_for_a_monad}
A monad on sets is finitary when its underlying functor preserves filtered colimits. Its operations on finite free algebras form a Lawvere theory.