Remark 13.11.4. In this chapter, we consistently work with “small” abelian categories (as is the convention in the Stacks project). For a “big” abelian category $\mathcal{A}$, it isn't clear that the derived category $D(\mathcal{A})$ exists, because it isn't clear that morphisms in the derived category are sets. In fact, in general they aren't, see Examples, Lemma 109.61.1. However, if $\mathcal{A}$ is a Grothendieck abelian category, and given $K^\bullet , L^\bullet$ in $K(\mathcal{A})$, then by Injectives, Theorem 19.12.6 there exists a quasi-isomorphism $L^\bullet \to I^\bullet$ to a K-injective complex $I^\bullet$ and Lemma 13.31.2 shows that

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{A})}(K^\bullet , L^\bullet ) = \mathop{\mathrm{Hom}}\nolimits _{K(\mathcal{A})}(K^\bullet , I^\bullet )$

which is a set. Some examples of Grothendieck abelian categories are the category of modules over a ring, or more generally the category of sheaves of modules on a ringed site.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).