nLab
initial algebra

Initial algebras

Idea

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:

Examples

List them here if you like:

  • (…)

Created on May 18, 2012 02:35:15 by Toby Bartels (69.171.178.18)