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!