Initial algebra
= Initial algebra
{wiki=Initial_algebra}
Initial algebra is a concept from universal algebra and the theory of algebraic structures, which refers to a type of algebraic structure that serves as a foundational model for various algebraic theories. The initial algebra is particularly relevant when discussing the semantics of algebraic data types in computer science, as well as in category theory.