bitterharvest’s diary

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

2015-03-21から1日間の記事一覧

Haskellで学ぶ圏論・入門編 写像を対象に (モノイド圏)

1.モノイド圏 四則演算や論理演算など、単位元を有し結合律を満たす二項演算はモノイドと呼ばれる。この圏は次のように構成される。 (1) 対象:一つ(通常★で表される) (2) 射:二項演算子の左あるいは右に表れる数(あるいは元) (3) ドメインとコドメイ…