Initial algebra

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.