\begin{definition}[Definition:Direct Image of Sheaf]
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$.
\end{definition}