bitterharvest’s diary

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

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

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

1.全射と単射 圏論では写像は重要な概念である。簡単な圏では写像は射となるが、圏をさらに抽象化すると、写像は対象として扱われる。そこで、ここでは、写像に関する重要な性質をまとめる。全射:写像\(f:X \rightarrow Y\)とした時、\(Y\)の任意の要素\(…