Catamorphisme
De Wikipedia, l'encyclopédie encyclopedia
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.