Proposition 7.49.5. Let $\mathcal{C}$ be a category endowed with a topology. Let $\mathcal{F}$ be a presheaf of sets on $\mathcal{C}$. The canonical map $\mathcal{F} \to \mathcal{F}^\# $ has the following universal property: For any map $\mathcal{F} \to \mathcal{G}$, where $\mathcal{G}$ is a sheaf of sets, there is a unique map $\mathcal{F}^\# \to \mathcal{G}$ such that $\mathcal{F} \to \mathcal{F}^\# \to \mathcal{G}$ equals the given map.
Proof. Same as the proof of Proposition 7.10.12. $\square$
Comments (0)
There are also: