Catamorphism
http://dbpedia.org/resource/Catamorphism an entity of type: Thing
In category theory, the concept of catamorphism (from the Ancient Greek: κατά "downwards" and μορφή "form, 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.
rdf:langString
Dans la théorie des catégories, le concept de catamorphisme (du Grec: κατα- = vers le bas; morphisme = forme) dénote l'unique homomorphisme pour une algèbre initiale. Le concept a été appliqué dans la programmation fonctionnelle. Le concept dual est celui d'anamorphisme.
rdf:langString
圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。 はこの双対となる概念である。も参照。
rdf:langString
Het concept van een catamorfisme is gegrond in de categorietheorie en is toegepast in het functioneel programmeren. Het geeft het unieke homomorfisme aan voor een . De term komt uit het Grieks κατα- (naar beneden) + morfisme, ook uit het Grieks μορφή (vorm). Het duale concept is dat van een anamorfisme.
rdf:langString
rdf:langString
Catamorphism
rdf:langString
Catamorphisme
rdf:langString
Catamorfisme
rdf:langString
Catamorphism
xsd:integer
4237146
xsd:integer
1039413699
rdf:langString
In category theory, the concept of catamorphism (from the Ancient Greek: κατά "downwards" and μορφή "form, 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.
rdf:langString
Dans la théorie des catégories, le concept de catamorphisme (du Grec: κατα- = vers le bas; morphisme = forme) dénote l'unique homomorphisme pour une algèbre initiale. Le concept a été appliqué dans la programmation fonctionnelle. Le concept dual est celui d'anamorphisme.
rdf:langString
圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。 はこの双対となる概念である。も参照。
rdf:langString
Het concept van een catamorfisme is gegrond in de categorietheorie en is toegepast in het functioneel programmeren. Het geeft het unieke homomorfisme aan voor een . De term komt uit het Grieks κατα- (naar beneden) + morfisme, ook uit het Grieks μορφή (vorm). Het duale concept is dat van een anamorfisme.
xsd:nonNegativeInteger
13111