Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. The initiality provides a general framework for induction and recursion. For instance, consider the endofunctor 1+(-) on the category of sets, where 1 is the one-point set, the terminal object in the category. An algebra for this endofunctor is a set X together with a point x X and a function X->X. The set of natural numbers is the carrier of the initial such algebra: the point is zero and the function is the successor map. For a second example, consider the endofunctor 1+Nx(-) on the category of sets, where N is the set of natural numbers. An algebra for this endofunctor is a set X together with a point x X and a function NxX -> X. The set of finite lists of natural numbers is the initial such algebra. The point is the empty list, and the function is cons, taking a number and a finite list, and returning a new finite list with the number at the head.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.