catamorphism UK /ˌkætəˈmɔːfɪzəm/US /ˌkætəˈmɔɹfɪzəm/ noun1 •A generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras. formscatamorphisms
