Обсуждение:Катаморфизм
На этой странице нет обсуждений.
Я что-то не вижу чёткого определения катаморфизма, со ссылкой на более общее понятие. Или мне не по глазам?
Александр Машин 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" наверное?