Inverse image sheaf (source code)

= Inverse image sheaf
{title2=$f^{-1}\mathcal E$}

The inverse image sheaf $f^{-1}\mathcal E$ is the sheaf associated with the presheaf whose sections near $U\subseteq X$ are obtained as a colimit of $\mathcal E(V)$ over open sets $V\supseteq f(U)$.

This is the sheaf obtained by applying the <inverse image functor>.