 Global sections geometric morphism

Every Grothendieck topos has a unique geometric morphism to sets, up to isomorphism. Its inverse image is $\Delta S={\coprod }_{s\in S}1$ and its direct image is $\Gamma A=\mathrm{Hom}(1,A)$. A geometric inverse image out of sets must have this form because it preserves coproducts and the terminal object. A local topos is one for which $\Gamma$ itself is an inverse image.