For a morphism of ringed spaces, the pullback of a sheaf of modules is left adjoint to the direct image sheaf functor. The unit sends a local section to after inverse image. On the structure sheaf it becomes the given ring homomorphism .
Articles by others on the same topic
There are currently no matching articles.