I sense a familial resemblance between the following situations:
Equivariant homotopy theory: The $\infty$-category $Spaces^{BG}$ of Borel $G$-spaces fails to have a compact unit (= terminal object), even. So we pass to the bigger category $Spaces^{\mathcal O_G^{op}}$ of $G$-spaces (=presheaves on the orbit category).
Algebraic geometry: In $QCoh(X)$, the coherent sheaves often fail to be compact. So we pass to the larger category $IndCoh(X)$.
Chromatic homotopy theory: In the $K(n)$-local category of spectra $Spectra_{K(n)}$, the unit fails to be compact. I don't know what the fix is here -- maybe just pass to $Spectra_{E(n)}$?
$\infty$-Topos theory: In $Spaces$, the $\pi$-finite spaces (=coherent objects) fail to be compact. Again I'm not sure what the "fix" is -- is it talking about pro-$\pi$-finite spaces?
Animation: We start with some algebraic 1-category $\mathcal C$ like $Set$, $CRing$, or even $Top$, but we don't like the colimits there. So we extract the objects we do like -- the compact projectives $\mathcal C_{perf}$, and replace $\mathcal C$ with $P_\Sigma(\mathcal C_{perf}) = Fun^\times(\mathcal C_{perf}^{op},Spaces)$, the free completion of $\mathcal C_{perf}$ under sifted colimits.
Probably I could go on. The general pattern I'm driving at is something like "We have a category $\mathcal C$ which we like pretty well, but where the "nice, finite" objects are not compact. So we freely pass to a new category $\mathcal C'$ where those objects are compact."
Question 0: What are some other examples which might be added to the above list -- instances where one wants to "correct one's category to force certain objects to be more finite"?
Question 1: Is there something systematic to say about this process?
Question 2: If yes, then what? For instance, should the notion of "nice, finite" object be taken as "geometric input", or is there something formal to be said about some general intrinsic notion of finiteness which may be at odds with compactness?
Another thread linking many of the above examples is that often this move can be justified not just by looking at the category $\mathcal C$ in isolation, but by how $\mathcal C$ relates to other categories $\mathcal D$. Often this means that $\mathcal C$ really varies over some base (like $\mathcal C = C(G)$ for $G$ a group, $\mathcal C = \mathcal C(X)$ for $X$ a scheme, etc.), and often it means something like "the assignment $X \mapsto \mathcal C'(X)$ has better functoriality or 6-functor formalism - type properties than does $X \mapsto \mathcal C(X)$".
Question 3: Again, is there anything general to be said about this process, now from such a "global" perspective?
Question 4: If so, then what is the relationship between the "local" story from before and the "global" story here?
Note: I have some feeling that passing from $\mathcal C(X)$ to $\mathcal C'(X)$ can often be thought of as passing to some "compactification" of $X$, but trying to think generally about compactification seems to be a whole 'nother can of worms.