In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. This initiality provides a general framework for induction and recursion. == Examples == === Functor 1 + (−) === Consider the endofunctor 1 + (−), i.e.
In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. This initiality provides a general framework for induction and recursion. == Examples == === Functor 1 + (−) === Consider the endofunctor 1 + (−), i.e.
Source: Wikipedia "Initial algebra" · CC BY-SA 4.0
Share this article: X · Bluesky