Example 6.1.4. The opposite \(\Aa \catop \) of an abelian category is again abelian. Generated from the authoritative LaTeX source.