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!