Catamorphism
F-始代数
の
F-代数準同型
が
Catamorphism
双対は
Anamorphism
foldr
のこと
code:hs
cata :: (a -> b -> b) -> b ->
a
-> b
cata = foldr
crush演算子
https://qiita.com/minerva1129/items/d2a6380b5e9b0d396f49
参考
Catamorphism - Wikipedia
おじいさん、今日のご飯はCatamorphismですよ - Qiita
https://qiita.com/tnagao7/items/ab0135619d0584dc6cb0#banana-その-3-f-代数のバナナ
ばなな