bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (初級編：圏論とHaskell) ５．３ 双対という概念 普遍性(universal property)は圏論の中では重要な概念である。前回は、始対象と終対象について論じた。対象という言葉は、何かの集まりを表したものであり、抽象的な概念である。対象は、集合であるかもしれないし、グラフのノードの集まりであるかもしれないし、もしかすると、射(関数)の集まりであるかもしれない。対象は物の集まりを一般化したものである。始対象と終対象はそのような対象の中で特別な性質を持つものである。始対象は入ってくる(incoming)射がない対象で、終対象は出ていく(outgoing)射がない対象である(但し、始対象から任意の対象への射、あるいは、任… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2017%2F01%2F26%2F100616" 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/20161231/20161231211106.png Hatena Blog https://hatena.blog 2017-01-26 10:06:16 rich https://bitterharvest.hatenablog.com/entry/2017/01/26/100616 1.0 100%