Initial algebra

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Initial algebra" – news · newspapers · books · scholar · JSTOR (December 2017) (Learn how and when to remove this message)

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.