[雑記／備忘]総称高階関数計算の練習：積モナドの乗法を書き下す

... X, YをCの対象、f:X→Y in C だとして、Ff:FX→FY のように書きます。GFX と書くと、対象Xに関手GFを適用した結果です。これはまた、対象FXに関手Gを適用した結果でもあります。 自然変換は、ギリシャ小文字α、βなどで表すことにして ...

Published by

Original source : http://rd.yahoo.co.jp/rss/l/blogsearch/search/S=20...