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