Derived direct image of sheaves

ID: derived-direct-image-of-sheaves

For a continuous map , the derived direct image is obtained by applying to an injective resolution. Composition with derived global sections gives .

New to topics? Read the docs here!