Homomorphisms

Homomorphisms: The Maps Between Structures

A homomorphism preserves structure. fold is the universal homomorphism from the free monoid. This is the algebraic reason that fold, evaluation, and parallelism work.