noun ·Rare ·Advanced level

Definitions

Noun

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

Etymology

From cata- (“down”) + morphism.

Related phrases

data typefunctional programminginitial algebra

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.