F：　C → D、F’：C → D
G：　D → E、G’：D → E
を関手とする。

σ：F → F’
τ：G → G’
を自然変換とする。

　 F　　G
C → D → E
　↓　　↓
C → D → E
　 F’　G’

このとき、
τ*(1_F) = τF
(1_G)*σ = Gσ
(1_G)*(1_F) = 1_GF