Definition:Direct Image of Sheaf

Definition
Let $X$ be a topological space.

Let $\mathbf C$ be a category.

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

The direct image of $\mathcal F$ is the direct image of the presheaf $\mathcal F$.

Also see

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