[参考文献] Haskell/圏論 カテゴリーとは？ 「カテゴリー」は、「集合と写像」の概念をより抽象化（簡単化）したものです。おもむろに、図1のように、いくつかの●と、●の間の矢印が集まった図式を考えてみます。 図1 カテゴリーのイメージそれぞれの●は、「a…