For sheaves of modules on a ringed space, the internal Hom sheaf assigns to an open the module of sheaf morphisms respecting . Compatible morphisms glue, so this is a sheaf. Its global sections are precisely the global module-sheaf morphisms. For a locally free sheaf of finite rank it is .
New to topics? Read the docs here!