7. 満たさなければならない性質
射について満たさなければならない性質
全ての対象Aに対して、恒等射idA : A → Aが存在
全ての射f : A → B, g : B → Cに対して、g○f : A → C
が存在
射の合成の存在
全ての射f : A → B, g : B → C, h : C → Dに対して、
h○(g○f) = (h○g)○f
射の合成の結合則
全ての射f : A → Bに対して、idB○f = f = f○idA
対象?特にないよ。
55. 積
A×Bはπ1 : A×B → A, π2 : A×B → Bを伴い、
ある対象Cと射f : C → A, g : C → Bについて、
以下の図式を可換にする<f, g> : C → A×Bが
存在するものを言う。
点線の射は、他の部分から一意に導かれる射。この図
ではf, g, π1, π2から導かれる。
C
A×B BA
f g
π1 π2
<f, g>