Definition:Direct Image of Sheaf
(Redirected from Definition:Direct Image Sheaf)
Jump to navigation
Jump to search
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$.