Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ...

We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. When is this a perfectly generated category?
Recall that a non-empty set of objects $S\subset Ob(\mathcal{C})$ for a category $\mathcal{C}$ with coproducts is said to *perfectly generate* $\mathcal{C}$ if

- $S$ is a generating set, i.e. if $Hom(s,C)=0$ for all $s\in S$, then $C=0$
- For a non-empty family of morphisms $(C_i\to D_i)$ such that $Hom(s,C_i)\to Hom(s,D_i)$ is surjective for each $i$ and each $s$, then $Hom(s,\bigoplus C_i)\to Hom(s,\bigoplus D_i)$ is surjective for each $s\in S$.

I suspect this has been studied before, so even just links to some sources would be highly appreciated!

Currently my conjecture is that the skyscraper sheaves of the stalks and all their shifts are a perfect generating set under nice geometric assumptions, but I am unable to verify that this is the case.