bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・ウォームアップ編 １．全射と単射 圏論では写像は重要な概念である。簡単な圏では写像は射となるが、圏をさらに抽象化すると、写像は対象として扱われる。そこで、ここでは、写像に関する重要な性質をまとめる。全射：写像\(f:X \rightarrow Y\)とした時、\(Y\)の任意の要素\(y \in Y\)に対して、\(y=f(x)\)とするような\(x\)が存在するとき、\(f\)は全射であるという。 下図は全射の例である。 単射の定義：写像\(f:X \rightarrow Y\)とした時、任意の\(x,x' \in X\)に対して、\(x \neq x'\)であるとき、\(f(x) \neq f(x')\)で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F03%2F12%2F105058" title=" Haskellで学ぶ圏論・ウォームアップ編　写像のまとめ - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20150309/20150309141723.png Hatena Blog https://hatena.blog 2015-03-12 10:50:58 rich https://bitterharvest.hatenablog.com/entry/2015/03/12/105058 1.0 100%