Recursion Schemes

See Edward Kmett's "Recursion Schemes: A Field Guide" for a more-readable definition of the "xxx-morphism" terminology (e.g. hylomorphism).

See Introduction to Recursion Schemes, a 4-part series that very clearly explains how they work and what they are. Papers referenced are below:

• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
• Primitive (Co)Recursion and Course-of-Value(Co)Iteration, Categorically

See Basic Catamorphisms See F-Algebras

See Recursion Scheme Cookbook, a documentation project that helps explain SlamData's Matyroshka (purescript) library.