Let $X$ be a scheme and $\mathcal{F}$ a presheaf on $X\_{ét}$.


For each $x\_{i}\in X$, pick a geometric point $\bar{x}\_{i}$ over $x$ and denote by $i\_{\bar{x}\_{i}}:\text{Spec}(k\_{i})\_{\text{ét}}\rightarrow X\_{ét}$ the morphism of sites induced by the geometric point $\bar{x}\_{i}$ where $k\_{i}$ is algebraically closed. Then we can define a sheaf on $X\_{ét}$


$$\text{Esp}(\mathcal{F}):=\prod\_{\bar{x}\_{i}}(i\_{\bar{x}})\_{\*}\mathcal{F}\_{\bar{x}}.$$


What is the map $\mathcal{F}\rightarrow \text{Esp}(\mathcal{F})$? I assume you would send sections to their germs, however if $U\rightarrow X$ is étale then $$
(i\_{\bar{x}})\_{\*}\mathcal{F}\_{\bar{x}}(U)=\prod\_{\text{Hom}\_{X}(\bar{x},U)}\mathcal{F}\_{\bar{x}}.
$$ So would you have to send a section to the germ then compose with some kind diagonal embedding?


Cross post:[https://math.stackexchange.com/questions/4386913/sheaves-on-étale-site-and-sheafification?noredirect=1#comment9171600\_4386913](https://math.stackexchange.com/questions/4386913/sheaves-on-%C3%A9tale-site-and-sheafification?noredirect=1#comment9171600_4386913)



Sheafifcation for the étale site
It's not diagonal. A section of $\mathcal F$ on $U$ has a germ at each element of $\text{Hom}\_{X}(\bar{x},U)$, and you take the product of all those germs, which may be different.


It's not so hard to see that if you tried to do it diagonally, it wouldn't be functorial for automorphisms of $U$, say in the case when $U$ is a finite étale cover.


