bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・ウォームアップ編 １．グラフ グラフはいろいろな場面で使われる便利な表記法である。グラフはノードとエッジを有する。図で表す時は、ノードは点でエッジは点と点とを結ぶ矢印として記述される。グラフの例を一つ上げると下図のようになる。 ２．圏論 グラフは圏論では、次のように表される。ノードの集まりは集合\(X\)とみなされ、対象となる。エッジの集まりも集合\(P\)とみなされ、対象となる。エッジには始点(のノード)と終点(のノード)があるが、エッジから始点と終点のノードへの写像は射となる。ここでは、それぞれを\(s\),\(t\)とする。先ほどのグラフは圏論では以下の図のように表される。 上記の圏の構成を示すと以下のよ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F02%2F25%2F143128" 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/20150225/20150225095754.png Hatena Blog https://hatena.blog 2015-02-25 14:31:28 rich https://bitterharvest.hatenablog.com/entry/2015/02/25/143128 1.0 100%