Free algebra (Jónsson 1962)

Layer 0 — Mathematicsin the universal-algebra subtree

B Jónsson 1962 free-algebra construction-via-terms; modern modern foundational text + Plotkin 1972 + Adamek-Rosicky 1994 categorical accessible.

Related concepts