命題（代数的整数論018の433）
C、D を圏とする。
F：C → D を関手とする。
f：X → Y を C における断面（>>295）とする。
このとき F(f) は D における断面である。

証明
自明である。