Monads of regular theories (Q2350311): Difference between revisions

A category of algebras of a finitary equational theory, a category of models of Lawvere theory, a category of algebras of a finitary monad on the category \(Set\), a category of algebras of a generalized operad have equivalent descriptions, in fact the category of finitary equational theories, the category of Lawvere theories, the category of finitary monads on \(Set\), the category of generalized operads are equivalent. These equivalences induce a correspondence between various subcategories. E.g. it is proved that the category of regular finitary equational theories, the category of regular Lawvere theories, the category of semi-analytic monads and the category of regular operads are equivalent. It is also proved that the category of all finitary monads on \(Set\) is monadic over the category of semi-analytic functors.