Topic summary
Initial algebra
In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctorF. This initiality provides a general framework for induction and recursion.
Topic summary
In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctorF. This initiality provides a general framework for induction and recursion.