Hispanopedia WikiEn 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.
Orígenes
El término "apomorfismo" se introdujo en Programación funcional con apomorfismos (correcursión) . [1]
Véase también
- Morfismo
- Morfismos de las F-álgebras
- De un álgebra inicial a un álgebra: Catamorfismo
- De una coalgebra a una coalgebra final: Anamorfismo
- Un anamorfismo seguido de un catamorfismo: Hilomorfismo
- Ampliación de la idea de catamorfismos: Paramorfismo
Referencias
- ^ Vene, Varmo; Uustalu, Tarmo (1998), "Programación funcional con apomorfismos (corexión)", Actas de la Academia de Ciencias de Estonia: Física, Matemáticas , 47 (3): 147–161