Monads of regular theories

Equational logic, Mal'tsev conditions (08B05) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: We characterize the category of monads on

S e t

and the category of Lawvere theories that are equivalent to the category of regular equational theories.

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Monads of regular theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2350311)