En los métodos formales de la informática , un apomorfismo (de ἀπό , que en griego significa "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 recursión 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 Programación funcional con apomorfismos (correcursión) . [1]