zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ Haskell Thinking Functionally with Haskellがすこし進んできたので、ちょっと今まで出てきた概念と関連するところまで圏論について調べてみた。まごうことなき私的勉強メモ。 圏Cは以下の三つの要素をあわせた概念： Object（対象）の集まり Cに含まれる対象間のmorphism（射）の集まり 以下の公理が成り立つ、Cに含まれる射を合成する演算の存在 (f . g) . h = f . (g . h) （結合律） 恒等射idの合成に関して、f . id = f, id . g = g （単位律） Haskellの型と関数は圏Haskを成す： 対象は型 対象間の射は関数 関数合… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2018%2F03%2F22%2F084202" title="Haskellと圏論ノート：Haskと型と関数と関手 - Arantium Maestum" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%7BC_1%7D Hatena Blog https://hatena.blog 2018-03-22 08:42:02 rich https://zehnpaard.hatenablog.com/entry/2018/03/22/084202 1.0 100%