# The Stacks Project

## Tag 00AC

Remark 6.31.13. Let $j : U \to X$ be an open immersion of topological spaces as above. Let $x \in X$, $x \not \in U$. Let $\mathcal{F}$ be a sheaf of sets on $U$. Then $\mathcal{F}_x = \emptyset$ by Lemma 6.31.4. Hence $j_!$ does not transform a final object of $\mathop{\textit{Sh}}\nolimits(U)$ into a final object of $\mathop{\textit{Sh}}\nolimits(X)$ unless $U = X$. According to our conventions in Categories, Section 4.23 this means that the functor $j_!$ is not left exact as a functor between the categories of sheaves of sets. It will be shown later that $j_!$ on abelian sheaves is exact, see Modules, Lemma 17.3.4.

The code snippet corresponding to this tag is a part of the file sheaves.tex and is located in lines 4831–4844 (see updates for more information).

\begin{remark}
\label{remark-j-shriek-not-exact}
Let $j : U \to X$ be an open immersion of topological spaces as above.
Let $x \in X$, $x \not \in U$. Let $\mathcal{F}$ be a sheaf of sets
on $U$. Then $\mathcal{F}_x = \emptyset$ by Lemma \ref{lemma-j-shriek}.
Hence $j_!$ does not transform a final object of $\Sh(U)$
into a final object of $\Sh(X)$ unless $U = X$.
According to our conventions in
Categories, Section \ref{categories-section-exact-functor}
this means that the functor $j_!$ is not left exact
as a functor between the categories of sheaves of sets.
It will be shown later that $j_!$ on abelian sheaves is exact,
see Modules, Lemma \ref{modules-lemma-j-shriek-exact}.
\end{remark}

There are no comments yet for this tag.

There is also 1 comment on Section 6.31: Sheaves on Spaces.

## Add a comment on tag 00AC

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).