An initial algebra is an initial object in a category (or higher category) of algebras.

There are many meanings of ‘algebra’, so many meanings of ‘initial algebra’. Most cases are fairly vacuous, but we could probably list them here. Some cases, however, are rather important and interesting in the topic of induction and recursion:

List them here if you like:

Last revised on November 5, 2014 at 18:10:56. See the history of this page for a list of all contributions to it.