Hylomorphisms in the Wild > What's in a Fold: The Basic Catamorphism in recursion-schemes

Introduces catamorphism as a generalization of fold.