bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (初級編：圏論とHaskell) ２．４ 合成 １）圏の構成要素 ここでは、これから説明する合成も含めて、圏を構成する要素についてまとめておこう。圏は次の構成要素から成り立つ。 1) 対象\(A,B,C,..\)を有する。 2) 射\(f,g,h,..\)を有する 3) 射はドメインとコドメインを有する。なお、ドメイン、コドメインは対象である。例えば\(f: A \rightarrow B, g: B \rightarrow C, h: A \rightarrow C,..\) 4) すべての対象に対して恒等射が存在する。\(1_A: A \rightarrow A, 1_B: B \rightarrow B, 1_C: A … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2016%2F10%2F26%2F054014" title="射は閉じている：どれだけ合成しても大丈夫 - 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> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20161011/20161011123105.png Hatena Blog https://hatena.blog 2016-10-26 05:40:14 rich https://bitterharvest.hatenablog.com/entry/2016/10/26/054014 1.0 100%