Global sections are the maps from the terminal object: . 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.
Articles by others on the same topic
There are currently no matching articles.