命題
F：C → D を関手とする。
f：X → Y を C における切断(>>310)とする。

このとき F(f) は D における切断である。

証明
自明である。