homotopy equivalence is a quasi-isomorphism, so the second step in the above construction may be omitted. The definition is usually given in this way because it reveals the existence of a canonical functor In concrete situations, it is very difficult or impossible to handle morphisms in the derived category directly. Therefore, one looks for a more manageable category which is equivalent to the derived category. Classically, there are two (dual) approaches to this: projective and injective resolutions. In both cases, the restriction of the above canonical functor to an appropriate subcategory will be an equivalence of categories. In the following we will describe the role of injective resolutions in the context of the derived category, which is the basis for defining right derived functors, which in turn have important applications in cohomology of sheaves on topological spaces or more advanced cohomology theories like étale cohomology or group cohomology. In order to apply this technique, one has to assume that the abelian category in question has enough injectives, which means that every object X of the category admits a monomorphism to an injective object I. (Neither the map nor the injective object has to be uniquely specified.) For example, every Grothendieck abelian category has enough injectives. Embedding X into some injective object I0, the cokernel of this map into some injective I1 etc., one constructs an injective resolution of X, i.e. an exact (in general infinite) sequence where the I* are injective objects. This idea generalizes to give resolutions of bounded-below complexes X, i.e. Xn = 0 for sufficiently small n. As remarked above, injective resolutions are not uniquely defined, but it is a fact that any two resolutions are homotopy equivalent to each other, i.e. isomorphic in the homotopy category. Moreover, morphisms of complexes extend uniquely to a morphism of two given injective resolutions. This is the point where the homotopy category comes into play again: mapping an object X of A to (any) injective resolution I* of A extends to a functor from the bounded below derived category to the bounded below homotopy category of complexes whose terms are injective objects in A. It is not difficult to see that this functor is actually inverse to the restriction of the canonical localization functor mentioned in the beginning. In other words, morphisms Hom(X,Y) in the derived category may be computed by resolving both X and Y and computing the morphisms