Morphism of locally ringed spaces

ID: morphism-of-locally-ringed-spaces

A morphism is a continuous map together with a homomorphism of sheaves of rings whose induced map on every stalk is a local homomorphism. Applied to schemes, this is exactly a morphism of schemes.

New to topics? Read the docs here!