Nella programmazione funzionale, una piega, nota anche come riduzione, accumulo o catamorfismo, è un tipo di funzione di ordine superiore che applica ricorsivamente una trasformazione a una struttura di dati, "collassandola" in un valore di riepilogo