Assumptions: Grothendieck abelian
Conclusions: cogenerator
Reason: See Kashiwara-Schapira, Thm. 9.6.3.