うーーーん、なんでこんな事に気が付かなかったんだぁー！！ 灯台もと暗し、コロンブスの卵だ。これがmissing pieceだったんだ。独断で目が曇っていた。1つ前のエントリーと似た記号を使っているが、独立（別物）である。(L, μ, η)をC上のモナドとする。もう…

懸案のCirc-Kleisli構成をやっと確認できた。対称モノイド圏Cの上の強モノイドTに対して、Circ-Kleisli圏C_+Tを確実に構成できます。Circ-Kleisli射のU-stampingC=(C; +, 0, σ)を対称モノイド圏、T=(T, μ, η, τ)をC上の強モナドとする。τはTの強度(tensorial…

明日からは事務所にも来ない＝僕にはしんどい日々。休日前に2つの懸案が片づいた、やったー！！ 以下の2つのエントリーで報告。