Definition:Direct Image of Sheaf

Definition
Let $X$ be a topological space.

Let $\mathbf C$ be a category.

Let $\FF$ be a $\mathbf C$-valued sheaf on $X$.

The direct image of $\FF$ is the direct image of the presheaf $\FF$.

Also see

 * Direct Image of Sheaf is Sheaf
 * Definition:Inverse Image Sheaf