Pullback-direct-image adjunction unit

ID: pullback-direct-image-adjunction-unit

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 .

New to topics? Read the docs here!