generated at
Catamorphism
F-始代数のF-代数準同型がCatamorphism
双対はAnamorphism

foldrのこと
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-代数のバナナ
ばなな