Definition 24.25.7. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $(\mathcal{A}, \text{d})$ be a sheaf of differential graded algebras on $(\mathcal{C}, \mathcal{O})$. A diffential graded $\mathcal{A}$-module $\mathcal{I}$ is K-injective if for every acyclic differential graded $\mathcal{M}$ we have

$\mathop{\mathrm{Hom}}\nolimits _{K(\textit{Mod}(\mathcal{A}, \text{d}))}(\mathcal{M}, \mathcal{I}) = 0$

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).