Assertion: fold | /r/CapableOf | break that structure
Facets:
value: recursively
type: MANNER
Source sentences:
text: Folds are in a sense dual to unfolds, which take a seed value and apply a function corecursively to decide how to progressively construct a corecursive data structure, whereas a fold recursively breaks that structure down, replacing it with the results of applying a combining function at each node on its terminal values and the recursive results (catamorphism, versus anamorphism of unfolds).