Unfold (higher-order function)

In category theory, the concept of anamorphism ("ana" from the Greek = upwards; "morphism" from the Greek = form, shape) denotes a morphism from a coalgebra to the final coalgebra for that endofunctor. These objects have been applied to functional programming as unfolds. The categorical dual of the anamorphism is the catamorphism.