Catamorphism
In category theory, the concept of catamorphism (from Greek: κατά = downwards or according to; μορφή = form or shape) denotes the unique homomorphism from an initial algebra into some other algebra. In functional programming, catamorphisms provide generalizations of folds of lists to arbitrary algebraic data types, which can be described as initial algebras. The dual concept is that of anamorphism that generalize unfolds. A hylomorphism is the composition of an anamorphism followed by a catamorphism.
Wikipage redirect
primaryTopic
Catamorphism
In category theory, the concept of catamorphism (from Greek: κατά = downwards or according to; μορφή = form or shape) denotes the unique homomorphism from an initial algebra into some other algebra. In functional programming, catamorphisms provide generalizations of folds of lists to arbitrary algebraic data types, which can be described as initial algebras. The dual concept is that of anamorphism that generalize unfolds. A hylomorphism is the composition of an anamorphism followed by a catamorphism.
has abstract
Dans la théorie des catégories ...... dual est celui d'anamorphisme.
@fr
Het concept van een catamorfis ...... pt is dat van een anamorfisme.
@nl
In category theory, the concep ...... sm followed by a catamorphism.
@en
圏論において、Catamorphism(ギリシャ語: κατ ...... はこの双対となる概念である。Hylomorphismも参照。
@ja
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
704,921,726
comment
Dans la théorie des catégories ...... dual est celui d'anamorphisme.
@fr
Het concept van een catamorfis ...... pt is dat van een anamorfisme.
@nl
In category theory, the concep ...... sm followed by a catamorphism.
@en
圏論において、Catamorphism(ギリシャ語: κατ ...... はこの双対となる概念である。Hylomorphismも参照。
@ja
label
Catamorfisme
@nl
Catamorphism
@en
Catamorphism
@ja
Catamorphisme
@fr