References. The Category Theoretic Understanding of Universal Algebra, Lawvere Theories and Monads (Hyland, Power, 2007) Tags: Lawvere theory, finitary monad.
