CatDat

Implication Details

Assumptions: Grothendieck abelian

Conclusions: cogenerator

Proof: See Kashiwara-Schapira, Thm. 9.6.3.

Show 14 categories using this implication