bitterharvest’s diary

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

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

Haskellで学ぶ圏論・ウォームアップ編 積のまとめ

1.積の定義 前の記事で、最大公約数や積集合を用いて、圏論での積について説明した。積は、いろいろな圏に共通する性質で、普遍的な性質である。ここでは、圏論での用語を用いて、圏論での積についてまとめる。圏論での積は次のように定義されている。積の…