モナドも、コモナドも、あるんだよ（前篇） - haxis_fxの日記さて、今回はみんな大好きなモナドだよ、まあ俺もそうだけど。 まず圏論のmonadから見てみよう： はendofunctor*1。今私たちの手元にmorphisms がある。問題は：どんな状況の下で、の意味を変更する事により、が別の圏にのような形式になるのか？ まず、何らかの方法で二つのmorphisms とをのような形式に「結合」しなければならない。そして、この「結合」は圏のcompositionの定義を満足しなければならない。最後、を圏のidとして存在しなければならない。 この新しい圏はKleisli categoryと言い、と表記される。の構成は下記通り： のobject 元の圏のobject のmorphism 元の圏のmorphism *2 とはnatural transformation： あと、compositionの結合則とidの定義を満足するために、とが下記の法則を従わなけ
