1年半ほど前の「両代数と両クライスリ圏」において、「FがC上のコモナド、Gがモナドのとき、F(X)→G(Y) というCの射を X→Y という射だと思って、両クライスリ圏を構成したい」*1と言って、次のような定義をしてます。 F = (F, δ, ε), G = (G, μ, η) だとする…