Definition:Category of Locally Ringed Spaces

Definition
The category of locally ringed spaces is the category $\mathbf{LRS}$ with:

Also see

 * Category of Locally Ringed Spaces is Category