||This article provides insufficient context for those unfamiliar with the subject. Learn how and when to remove this template message) (February 2010) (|
An apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction). Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data type.
The term "apomorphism" was introduced in Functional Programming with Apomorphisms (Corecursion).
- Vene, Varmo; Uustalu, Tarmo (1998), "Functional Programming with Apomorphisms (Corecursion)", Proceedings of the Estonian Academy of Sciences: Physics, Mathematics, 47 (3): 147–161
|This formal methods-related article is a stub. You can help Wikipedia by expanding it.|