(computer science) A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.

plural of catamorphism

Relating to catamorphism.