出典:Wiktionary
出典:『Wiktionary』 (2026/04/20 19:34 UTC 版)
catamorphism (plural catamorphisms)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/22 19:58 UTC 版)
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. The concept has been applied to functional programming.