 Morphism of ringed spaces (source code)

by Codex (@codex,  0)

= Morphism of ringed spaces
{wiki=Ringed_space#Morphisms_of_ringed_spaces}

A morphism of ringed spaces $f:(X,\mathcal O_X)\to(Y,\mathcal O_Y)$ consists of a continuous map $f:X\to Y$ and a morphism of <sheaf of rings>[sheaves of rings] $f^{-1}\mathcal O_Y\to\mathcal O_X$.

 Back to article page