モナドと上江州拡張

あれれっ、あれ？ 型付き変数集合の圏の上で項モナドや項集合モナドを考えると、[x₁, ..., x_n]→[y₁, ..., x_m]のような射がKleisli射として得られる。ところが、上江州拡張でも同じ射が得られる。

ということは、モナドのKleisli圏と上江州拡張はなんらかの関係があるってことだな。これは初耳だ。しばらく、上江州計算と対応するKleisli射を比べてみよう。