命題
F：C → D
G：D → E
H：D → E
を関手とする。
σ：G → H を同型とする。

このとき、σF(>>118)は同型である。

証明
任意の X ∈ Ob(C) に対して σ(F(X))：GF(X) → HF(X) は同型である。
よって、過去スレ017の391より、σFは同型である。
証明終