text: Тогда множество N неотрицательных целых чисел вместе с функцией : 1 + N → N {\displaystyle :1+\mathbb {N} \to \mathbb {N} } , которая является копроизведением функций z e r o : 1 → N {\displaystyle \mathrm {zero} :1\to \mathbb {N} } (которая всегда возвращает 0) и s u c c : N → N {\displaystyle \mathrm {succ} :\mathbb {N} \to \mathbb {N} } (которая отображает n в n+1), является F {\displaystyle F} -алгеброй.