Обсуждение:Катаморфизм

Я что-то не вижу чёткого определения катаморфизма, со ссылкой на более общее понятие. Или мне не по глазам?
Александр Машин 20:19, 5 мая 2007 (MSD)

• Чёткое определение катаморфизма выглядит как достаточно мудрёная математическая формула, которую не так просто понять. Мне кажется, что описательное определение, которое сделано в статье, лучше подходит для общеобразовательных целей. Ибо вчера показывал статью брату, который понятия не имеет обо всех этих ФП и ТК, но всё же обладает и техническим образованием, и научным чутьём — он всё понял. Думаю, что вряд ли бы он понял, если бы в определении стояла простая формула.

• Ну и опять же, в самой статье она же (формула) всё же расписана:

Если (A, in) является начальной F-алгеброй для эндофунктора F (таким образом, in является морфизмом из FA в A), и (X, f) — тоже F-алгебра, существует уникальный гомоморфизм из (A, in) в (X, f), который может быть обозначен как cata f (оставляя неявным носитель X).

Dark Magus 00:11, 6 мая 2007 (MSD)

"foldTree (f, g) Empty = f Empty" должно быть "foldTree (f, g) Empty = f" наверное?