Lemma 17.6.1. Let $X$ be a topological space. Let $Z \subset X$ be a closed subset. Denote $i : Z \to X$ the inclusion map. The functor

is exact, fully faithful, with essential image exactly those abelian sheaves whose support is contained in $Z$. The functor $i^{-1}$ is a left inverse to $i_*$.

## Comments (0)