Locally ringed space

From Commalg

Definition

Symbol-free definition

A locally ringed space is a topological space equipped with a sheaf of commutative unital rings such that the stalk at every point is a local ring.