>781

おお、何だか凄そうな人が！
いくつか質問させてください。

(1)
>　T：X を「X を返す『計算」にうつす函手
>　η：『値』をその値を取り続ける『計算』にする自然変換
>　*：『値』を取る『計算』から『計算』をとる『計算』への変換
という定義から、
> この η, * は Kleisli triple の条件を満たしている．
は必ず言えるのでしょうか？ 上の定義は型に関してKleisli tripleの条件を満たす＋ηが自然変換
ということだと思うのですが、「ηが自然変換」ということからKleisli tripleの3条件が出てくるのでしょうか？

(2)
Kleisli tripleの3つめの条件
g* o f* = (g* o f)*
の直感的な意味はなんでしょう？

(3)
λ計算はCCCで普通に解釈できるのにsqr x = x * x，dup x = 2 * xになると
Kleisli categoryが必要になるのは、名前があるからでしょうか？