命題
C を零対象 0 をもつ圏とする。
f：X → Y を C における定値射(>>587)とする。

このとき f は合成射 X → 0 → Y と等しい。

証明
g を合成射 X → 0 → X とする。
f は定値であるから f(1_X) = fg である。
即ち f = fg である。
よって、f は合成射 X → 0 → X → Y に等しい。
合成射 0 → X → Y は 0 → Y に等しいから f は合成射 X → 0 → Y と等しい。
証明終