2 problems

Let $\mathcal{C}$ be a locally presentable linear category over a field. An object is compact projective if it is both compact and projective, and $\mathcal{C}$ is strongly generat…

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…