The Morphism Cube

Recursion Schemes in Category Theory

Temporal Extension

The vertical dimension represents temporal awareness—access to computation history (histomorphism) and future lookahead (futumorphism).

⦇⦈ Catamorphism

κατά (down) + μορφή (form)
μF → A
The fundamental fold operation. Consumes an inductive structure to produce a value.

Used For

Fold / Consume structures

Viewing: Isometric

Drag Rotate Scroll Zoom Click Select