モナドはどこに棲んでいるのか？ というと、Cを圏としてその自己関手の圏 End(C) のなかにモナドがいるわけです。D = End(C) と置けば、Dがモナドを定義する舞台となります。(F, η, μ) がモナドであるとき、F∈|D|、η:I→F in D、μ:FF→F in D となります。D = …

モナドは至るところに出現する -- とは、以前から僕が強調していることです。最近、HTTPクッキーをまともに処理しようとしたら、派手にモナド様が顕現されまして、結局はベックの分配法則／テンソル強度（tensorial strength）まで使わざるを得ないという始…