catamorphismは関数型プログラミングにおいてリストのfoldと呼ばれる操作を、始代数として表現できる任意の代数的データ型に一般化したものである。