>>595の修正

例
Ab をアーベル群全体のなす圏とする。
Ab は前加法圏(>>589)である。
A を環とする。
Ab/A (>>590)は A-左加群の圏に他ならない。
A^o を A の双対環(>>592)とする。
Ab/A^o は A-右加群の圏に他ならない。