Conversation

モナドについてしっくりくる説明を思いついた

(1) モナドは、表象にどのくらい膨らみを持たせるか、を与えている
(2) その代数は、膨らんだ表象を簡約する操作、計算方法である
(3) 従ってEM圏は簡約のなす圏であり、クライスリ圏（＝ベースの圏とほぼ同義）は全部元に戻すという操作で自然に埋め込まれている

この意味でmonadicは簡約の圏と圏同値という意味で価値があることになる。どういった計算が成されるのかを具体的に追うことができる