Constant sheaf of sets
ID: constant-sheaf-of-sets
The sections are locally constant functions into a discrete set , with ordinary restriction. It is the sheafification of the constant presheaf of sets. Its value on an empty open set is a singleton, even if is empty. For a topological space, this construction is left adjoint to the global sections functor: a map from it to a sheaf is a family of global sections indexed by .
New to topics? Read the docs here!