En los métodos formales de la informática , un paramorfismo (del griego παρά , que significa "juntos") es una extensión del concepto de catamorfismo introducido por primera vez por Lambert Meertens [1] para tratar con una forma que "se come su argumento y también lo mantiene". ”, [2] [3] como lo ejemplifica la función factorial . Su dual categórico es el apomorfismo .
Es una versión más conveniente del catamorfismo en el sentido de que le da a la función de paso de combinación acceso inmediato no solo al valor del resultado calculado recursivamente de cada subobjeto recursivo, sino también al subobjeto original en sí mismo.