catamorphism

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

From cata- +‎ morphism.

Noun[edit]

catamorphism (plural catamorphisms)

  1. (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.

Related terms[edit]