bitterharvest’s diary

A Bitter Harvestは小説の題名。作者は豪州のPeter Yeldham。苦闘の末に勝ちえた偏見からの解放は命との引換になったという悲しい物語

2017-09-05から1日間の記事一覧

モナドと自然変換

12.圏論でのモナド Haskellでのモナドについて論じてきたが、モナドは圏論の中の一つの圏でもある。そこで、ここではモナドが圏となるための条件を求めて見よう。圏論においては自然変換は重要な役割をなすが、モナドは自然変換が主要な枠組みとなってい…