数学が専攻でないプログラマー屋さんが「それでも圏論を勉強したい」というのならば、まず意識改革が必要だと思います。 どういう事かと言うと、『圏論は（数学的な構造を記述するための）言葉に過ぎない』と予め割り切った意識を持たねばならない。 同じくプログラミングの世界で多少は利用されつつある記号論理が単なる言葉（記述手段）であるようにね。 言い換えると、圏論やそこで登場する様々な概念（定義）そのものに対して具体的なイメージを期待しても無駄という事。 つまり、圏論は言葉だから使い方を知らねばならない。使い方

数学が専攻でないプログラマー屋さんが「それでも圏論を勉強したい」というのならば、まず意識改革が必要だと思います。 どういう事かと言うと、『圏論は（数学的な構造を記述するための）言葉に過ぎない』と予め割り切った意識を持たねばならない。 同じくプログラミングの世界で多少は利用されつつある記号論理が単なる言葉（記述手段）であるようにね。 言い換えると、圏論やそこで登場する様々な概念（定義）そのものに対して具体的なイメージを期待しても無駄という事。 つまり、圏論は言葉だから使い方を知らねばならない。使い方を知るには具体例（語学の勉強ならば文例ですね）を色々と知っておかねばならない。 そうすると、まず圏が登場した切っ掛けは、数学的構造とそれを保存する写像としての準同型の概念それぞれを抽象化して、 対象(object)と射(morphism)となったのだから、圏論の利用での最も基本的なのは数学的構造と