1 problem

Let $\mathcal{C}$ be a locally presentable linear category over a field. A Grothendieck category is a Roos category if it satisfies Ab6 and Ab4, where Ab6 is Grothendieck's distrib…