Linton's theorem (equational theory)

Linton's theorem gives a correspondence between monad and Lawvere theories. These two notions are the two main category theoretic formulations of universal algebra. Although these results are not explicitly stated, they were essentially introduced by . The following (2) and (3) were first explicitly stated and proven by , even in the more general setting of enriched category. The fact that a monad is a category theoretic formulation of universal algebra is not intuitive, given its historical origins. Actually, monads originated in algebraic topology and typically arise from a pair of adjoint functors. However, there is the following result concerning between monads and universal algebra, which is attributed to Linton: the category of models of a Lawvere theory is equivalent to the categories of Eilenberg–Moore algebras of its monad.

The theorems regarding the correspondence between monads and Lawvere theory due to Linton The category of finitary monads on is equivalent to the category of Lawvere theories and, subject to a generalization in the definition of Lawvere theory, every monad arises thus, uniquely up to coherent isomorphism. Infinitary Lawvere theories are equivalent to monads on . The category of models of an infinitary Lawvere theory is equivalent to the category of algebras of its monad.

Note

References

External links