Slide 8
Slide 8 text
֓ཁ ಋೖ ݍͷಛ CS ͷԠ༻
ݍͷఆٛ
ఆٛ [1]
ݍ࣍ͷཁૉ͔ΒΓཱͭ
• ରɿA, B, C, ...
• ࣹɿf, g, h, ...
• ҙͷࣹ f ʹରͯ͠ର dom(f), cod(f) ͕͋Δ
A = dom(f), B = cod(f) Ͱ͋Δ f Λ f : A → B ͱॻ͘
• ࣹ f : A → B, g : B → C s.t. cod(f) = dom(g) ʹରͯ͠
ࣹ g ◦ f : A → C ͕͋Γɼ
ҙͷࣹ f : A → B, g : B → C, h : C → D ʹରͯ͠
h ◦ (g ◦ f) = (h ◦ g) ◦ f ͕Γཱͭ
• ҙͷର A ʹରࣹ͠ idA
: A → A ͕͋Γɼ
ҙͷࣹ f : A → B ʹର͠ f ◦ idA
= f = idB
◦ f ͕Γཱͭ
8 / 23