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!