1 problem

Let $\mathsf B$ be a locally presentable abelian category with a projective generator $P$. Let $\mathsf B_{\operatorname{proj}}$ denote the class of projective objects in…