catamorphism

English

Etymology

From cata- (“down”) +‎ morphism.

Noun

catamorphism (plural catamorphisms)

1. (functional programming) 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