Апоморфизм - Apomorphism - Wikipedia

В формальные методы из Информатика, апоморфизм (из ἀπό — Греческий для "отдельно") категоричный дуальный из параморфизм и расширение концепции анаморфизм (коиндукция ). В то время как модели параморфизма примитивная рекурсия над индуктивный тип данных, апоморфизм моделирует примитивные Corecursion над коиндуктивным типом данных.

Происхождение

Термин «апоморфизм» был введен в Функциональное программирование с апоморфизмами (Corecursion).^[1]

Смотрите также

• Морфизм
• Морфизмы F-алгебры
  • От начальной алгебры к алгебре: Катаморфизм
  • От коалгебры к окончательной коалгебре: Анаморфизм
  • За анаморфизмом следует катаморфизм: Гиломорфизм
  • Расширение идеи катаморфизмов: Параморфизм

Рекомендации

1. Vene, Varmo; Уусталу, Тармо (1998), «Функциональное программирование с апоморфизмами (Corecursion)», Известия Эстонской академии наук: физика, математика, 47 (3): 147–161