The Stacks project

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