Algebraic theory

In category theory, an algebraic theory T is a category whose objects are natural numbers 0, 1, 2,..., and which, for each n, has an n-tuple of morphisms:

proj_i: n → 1, i = 1, ..., n

This allows interpreting n as a cartesian product of n copies of 1.

Example: Let's define an algebraic theory T taking hom(n, m) to be m-tuples of polynomials of n free variables X₁, ..., X_n with integer coefficients and with substitution as composition. In this case proj_i is equal to X_i. This theory T is called the theory of commutative rings.

In an algebraic theory, any morphism n → m can be described as m morphisms of signature n → 1. These latter morphisms are called n-ary operations of the theory.

If E is a category with finite products, the full subcategory Alg(T, E) of the category of functors [T, E] consisting of those functors that preserve finite products is called the category of T-models or T-algebras.

Note that for the case of a morphism 2 → 1, the appropriate algebra A will define a morphism

A(2) ≈ A(1) × A(1) → A(1).

• Clone (algebra)

• Lawvere, F. W., 1963, Functorial Semantics of Algebraic Theories, Proceedings of the National Academy of Sciences 50, No. 5 (November 1963), 869-872
• Adámek, J., Rosický, J., Vitale, E. M., Algebraic Theories. A Categorical Introduction To General Algebra
• Kock, A., Reyes, G., Doctrines in categorical logic, in Handbook of Mathematical Logic, ed. J. Barwise, North Holland 1977
• Algebraic theory at the nLab