命題
加法圏(>>510)は有限余積を持つ。

証明
C を加法圏とする。
空集合を添字集合とする C の対象の族の積は C の終対象である。
よって、C は終対象をもつ。
よって、>>508より、C は始対象をもつ。
よって、>>527と過去スレ017の848より、C は有限余積を持つ。
証明終