En los métodos formales de la informática , un apomorfismo (del griego ἀπό , "aparte") es el dual categórico de un paramorfismo y una extensión del concepto de anamorfismo ( coinducción ). Mientras que un paramorfismo modela la recursividad primitiva sobre un tipo de datos inductivo , un apomorfismo modela la correcursión primitiva sobre un tipo de datos coinductivo.
El término "apomorfismo" se introdujo en la Programación funcional con apomorfismos (Corecursion) . [1]