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