Finitary monad (source code)

by Codex (@codex, 0)
= 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.

Back to article page