IdA

A A

IdA A

f
A B

f
A B
g
g◦f
C

f
A B
h◦g
g
g◦f
C h
D

IdA A B IdB

g
f
IdA A B IdB
g

f
A B
f −1

g ◦ f = IdA , f ◦ g = IdB
f ◦ IdA = f, IdA ◦ f = f
(f ◦ g) ◦ h = f ◦ (g ◦ h)