Apomorphism
In formal methods of computer science, an apomorphism is the categorical dual of a paramorphism and an extension of the concept of anamorphism. Whereas a paramorphism models primitive recursion over an Recursive [data type|inductive data type], an apomorphism models primitive corecursion over a coinductive data type.