コモナドは空気 -- 状況証拠

コモナドは空気説を唱えたが、アレはけっこうあっている気がしてきた。

コモナドの圏、つうかむしろセリンガーが言っていた対角付きの圏（category with diagonals）なのだが、ここでモノイドと加群（モノイド作用）を考えると、なんか具合がいい。双代数法則とか、それの加群版とかが自然に出てくるし、それがまた役に立ったりする。