Implication Details
Assumptions: Grothendieck abelian, self-dual
Conclusions: trivial
Reason: This follows since the dual of a non-trivial Grothendieck abelian category cannot be Grothendieck abelian. See Peter Freyd, Abelian categories, p. 116.
Assumptions: Grothendieck abelian, self-dual
Conclusions: trivial
Reason: This follows since the dual of a non-trivial Grothendieck abelian category cannot be Grothendieck abelian. See Peter Freyd, Abelian categories, p. 116.