## 19.1 Introduction

In future chapters we will use the existence of injectives and K-injective complexes to do cohomology of sheaves of modules on ringed sites. In this chapter we explain how to produce injectives and K-injective complexes first for modules on sites and later more generally for Grothendieck abelian categories.

We observe that we already know that the category of abelian groups and the category of modules over a ring have enough injectives, see More on Algebra, Sections 15.54 and 15.55

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