Catamorphism
圏論において、Catamorphism(ギリシャ語: κατά = "下方へ" または "～に従って"; μορφή = "形式" または "形")は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。
Anamorphismはこの双対となる概念である。Hylomorphismも参照。