型関手の融合則 圏論勉強会１０回

Catamorphismの融合則

型関手の融合則　　

　　射g:A→B　　T：型関手　　T(g)＝(|in・F(g,1)|)　も以下で使う

      正しいかどうか、すっきりしないところもあるが、以下のような図をかいてみた。