Апоморфизм - Википедия - Apomorphism

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

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

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

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

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

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

Этот формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.