命題
C を基点をもつ圏(>>618)とする。
C の終対象(過去スレ017の288)は零対象(過去スレ017の791)である。

証明
e を C の終対象とする。
T を C の任意の対象とする。
f：e → T を任意の射とする。
1_e は零射(>>589)であるから>>639より f = f(1_e) は零射である。
よって、e は始対象(過去スレ017の288)である。
よって、e は零対象である。
証明終