数学者じゃない人が圏論を学ぶ時の勘どころ　ー　圏論に独特の「定義」

結論から言おう。私がこれまでジワジワと圏論を学んできた中で「ここ大事！」と思う圏論の勘所の一つは、圏論における概念は「原子模型」みたいなもの（上の図）。原子はそれ自体が他とどうつながるかが重要。水素Hは１本、酸素Oは２本、炭素Cは４本の足を持つ。

同じように圏論の概念はそのものそれだけではなくて、それが他とどうつながるかをあわせた定義になっている。

なので、「積」の定義（上の右の図）は、「A