Fが圏C上のモナドだとして、DがFのKleisli圏だとする。f∈C(A, B)に対して、fにモナド単位εB:B→F(B)を後結合すれば、B-resulticな射f':A→F(B)ができる。これを使えば、CをDに埋め込めるから、C⊆Dと考えてよい。この埋め込みを込めて、DをCのKleisli F-拡張と…

上江州さんは、彼の計算（それを僕が「ウエス計算」と名付けた）を、トポスを扱うときのチョッとした道具くらいにしか考えてなかったのだろう。ていねいに作ってないし、まじめに説明もしてない。でも僕は、ウエス計算はそれなりに使えると思うから、再構成…