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: