1 problem

Let $\mathcal C$ be a locally presentable $\mathbb K$-linear category. A set of objects is spanning if it detects morphisms, and an object is tiny if its Hom functor preserves all…