Catamorphism

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