locally ringed spaces