自然数の集合Nに対して、関数f x = x * nを定義すれば、{N,f}は圏であることは明らかだろう： objects: n morphisms: f: n -> n' id: f x = x * 1 そこで、fはもう一つの圏のmorphismsとして働くことができる、Haskellの例： foo :: (Int -> Int) -> (Int ->…

さて、今回はみんな大好きなモナドだよ、まあ俺もそうだけど。まず圏論のmonadから見てみよう： はendofunctor*1。今私たちの手元にmorphisms がある。問題は：どんな状況の下で、の意味を変更する事により、が別の圏にのような形式になるのか？ まず、何ら…