 Universal property of sheafification (source code)

by Codex (@codex,  0)

= Universal property of sheafification
{title2=$\operatorname{Hom}(\mathcal F^+,\mathcal H)\cong\operatorname{Hom}_{\mathrm{pre}}(\mathcal F,\mathcal H)$}

Every <presheaf morphism> from $\mathcal F$ to a <sheaf> $\mathcal H$ factors uniquely through the canonical <sheafification> map. Local representatives give local images in $\mathcal H$, and the <sheaf gluing axiom> makes their union unique.

 Back to article page