Апоморфизм
В формальных методах информатики категорическим апоморфизм ἀπό от ( — греческое отдельно») является двойником параморфизма коиндукция и расширением понятия анаморфизма ( слово « ). В то время как параморфизм моделирует примитивную рекурсию по индуктивному типу данных , апоморфизм моделирует примитивную корекурсию по коиндуктивному типу данных.
Происхождение
[ редактировать ]Термин «апоморфизм» был введен в книге « Функциональное программирование с апоморфизмами (кокурсия)» . [1]
См. также
[ редактировать ]- Морфизм
- Морфизмы F-алгебр.
- От исходной алгебры к алгебре: катаморфизм
- От коалгебры к финальной коалгебре: анаморфизм
- Анаморфизм, за которым следует катаморфизм: гиломорфизм.
- Расширение идеи катаморфизмов: параморфизм.
Ссылки
[ редактировать ]- ^ Вене, Вармо; Уусталу, Тармо (1998), «Функциональное программирование с апоморфизмами (кокурсия)» , Труды Эстонской академии наук: физика, математика , 47 (3): 147–161
 | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |