 Global sections functor

Global sections are the maps from the terminal object: $\Gamma (X)=\mathrm{Hom}(1,X)$. For a Grothendieck topos, this is the direct image of its geometric morphism to sets. In a presheaf category, it is right adjoint to the constant-presheaf functor.