bitterharvest’s diary

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

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

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

1.和(余積)の定義 圏論での和(余積)は積とは双対の概念である。積のところで定義されていた写像のドメインとコドメインを交換することで、即ち、可換図式での矢印を反対向きにすることで、また、積の演算\(\times\)を和の演算\(+\)に代えることで和は…