Definition:Direct Image of Presheaf

Definition
Let $\mathbf C$ be a category.

Let $T_1 = \left({S_1, \tau_1}\right)$ and $T_2 = \left({S_2, \tau_2}\right)$ be topological spaces.

Let $f : T_1 \to T_2$ be continuous.

Let $\mathcal F$ be a $\mathbf C$-valued presheaf on $T_1$.

Also see

 * Equivalence of Definitions of Direct Image of Presheaf


 * Definition:Direct Image Sheaf Functor
 * Definition:Inverse Image of Presheaf
 * Definition:Inverse Image of Sheaf