enakai00 https://blog.hatena.ne.jp/enakai00/ めもめも https://enakai00.hatenablog.com/ [参考文献] Haskell/圏論 カテゴリーとは？ 「カテゴリー」は、「集合と写像」の概念をより抽象化（簡単化）したものです。おもむろに、図1のように、いくつかの●と、●の間の矢印が集まった図式を考えてみます。 図1 カテゴリーのイメージそれぞれの●は、「a,b,c・・・」で表して、矢印は、「f,g,h,i,j,k・・・」で表します。1組みの●のペアに対して、複数の矢印があっても構いません。また、矢印fがaとbをつなぐ事を次のように表現します。f :: a -> b「集合と写像」の勉強をした方なら、それぞれの●は何らかの集合で、矢印は集合間の写像と思うと分かりやすいでしょう。この時、f ::… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fenakai00.hatenablog.com%2Fentry%2F20130912%2F1378970253" title="Functorを例として、圏論とHaskellの関係を分かりやすく説明してみるテスト - めもめも" 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/e/enakai00/20130912/20130912160722.png Hatena Blog https://hatena.blog 2013-09-12 16:17:33 rich https://enakai00.hatenablog.com/entry/20130912/1378970253 1.0 100%