Catamorphism - What does it mean?
catamorphism | |
(computer science) a generalization of the folds on lists known from functional programming to arbitrary abstract data types that can be described as initial algebras
