##  [Term Algebra](/term-algebra-1) 

 Definition

The free algebra over a signature generated by a set of variables whose elements are syntactic terms built from operation symbols and variables, taken without imposing any identities beyond the syntactic formation rules.

 

 

 

 

 

 





## Principle

Principle

Terms are formed inductively from variables and operation symbols; the term algebra is the initial object in the category of algebras for the signature, encoding the universal property that any variable assignment extends uniquely to a homomorphism.

 

 

 

 

 





## Demonstration

Demonstration

For the signature of monoids (binary operation ⋅ and unit e), the term algebra consists of all formal words built from a binary symbol and the constant e and variables; a homomorphism from this term algebra to any monoid evaluates each formal term to its semantic value in that monoid.

 

 

 

 

## Misapplication

Misapplication

Confusing the term algebra with a quotient by equational identities (for example, treating syntactically different terms as equal because they denote the same element in a particular algebra); doing so loses the freeness and initiality properties.

 

 

 

 

 





## Consequence

Consequence

Term algebras provide canonical syntactic representatives, serve as initial models for specifying and reasoning about algebraic structures, and make substitution and unification concrete operations corresponding to homomorphisms.

 

 

 

 

## Reversal

Reversal

The reversal is a quotient algebra obtained by imposing identities (an equational theory) on the term algebra; this produces the free algebra of the theory rather than the raw term algebra and changes equality from syntactic to equational.

 

 

 

 

 





## Boundary

Boundary

Applies to finitary signatures and treats terms modulo syntactic equality only; excludes quotienting by axioms, higher-order term constructors, and semantic identifications specific to particular models.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Term Algebra is in tension with the free algebra modulo identities: the former treats terms purely syntactically and is initial in the category of all algebras, while the latter encodes a specified equational theory and identifies terms accordingly.

 

 

 

 

 





## Synthesis

Synthesis

A Term Algebra is the raw free algebra of syntactic terms for a signature, embodying the inductive formation of terms and the universal property that variable assignments extend uniquely to homomorphisms into any algebra of the signature.