命題
C を前アーベル圏(>>512)とする。
このとき、C の双対圏(過去スレ017の352) C^o も前アーベル圏である。

証明
>>544より、C^o は加法圏である。
C における任意の射が核(>>506)と余核(>>506)を持つから、
C^o における任意の射も核と余核を持つ。
よって、C^o は前アーベル圏である。
証明終