catamorphism

In category theory, the concept of catamorphism (from Greek: = downwards or according to; = form or shape) denotes the unique homomorphism from an initial algebra into some other algebra.