Catamorphism

Translation of "catamorphism" into Russian

Noun

catamorphism

catamorphisms pl

Common noun used in category theory and functional programming.

Термин из теории категорий и функционального программирования.

Foldr is a catamorphism on lists.

Функция foldr является катаморфизмом для списков.

Noun

In category theory, the unique morphism from an initial algebra to another algebra of the same endofunctor.

Given an initial algebra (A, α), the catamorphism to any algebra (B, β) is uniquely determined.

In functional programming, a generalised fold operation that deconstructs data structures.

In Haskell, foldr is a catamorphism on lists.