Resolutions of unbounded complexes

. Various types of resolutions of unbounded complexes of sheaves are constructed, with properties analogous to injectivity, flatness, flabbiness, etc. They are used to remove some boundedness conditions for the existence of the derived functors of functors such as Hom, tensor product, sections over an open subset, inverse and direct images, and for the validity of various formulae involving these derived functors.