Locally ringed space (source code)

= Locally ringed space
{wiki}

A locally ringed space is a <ringed space> whose stalk $\mathcal O_{X,x}$ is a <local ring> at every point. Morphisms of locally ringed spaces induce local homomorphisms on stalks.