catamorphism

Etymology
From.

Noun

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

Related terms

 * anamorphism
 * hylomorphism
 * paramorphism