catamorphism
nounUK /ˌkætəˈmɔːfɪzəm/ · US /ˌkætəˈmɔɹfɪzəm/
Etymology From cata- (“down”) + morphism.
1
A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras.
Functional programming
- Related terms
- anamorphism, hylomorphism, paramorphism