すぐ上の記事の追記みたいなもの。一般化クライスリ構成／拡張について、次のように書きました（「一般化クライスリ構成を探して」）： いくつかの例を知っていて、ボンヤリした枠組みを想定している状態です。個別の例を詳しく調べるほうが得策かな、と今は…

昨日の記事「一般化クライスリ構成を探して」の補足。一般化クライスリ構成でやりたいことは、2つの自己関手F, Gを使って「射」の概念を拡張することです。A→B から F(A)→G(B) に拡張するわけですね。当初僕は、このような (F, G) を両モナドと呼んでいまし…