He escuchado lo sido dijo que la construcción de especificaciones $R$ es una forma canónica de tomar el anillo $A$ y producir un espacio localmente anillado con $A$ como el anillo de secciones globales. Esto es ciertamente informal; ¿pero es correcto en un sentido técnico? Si era, esperaría encontrar $\text{Spec}(-):\text{Ring}^{op}\to\text{LRSpace}$ (o $\text{Spec}(A)$) de hecho caracterizada por alguna propiedad universal. ¿Por lo que me pregunto: es este tan?
Sinceramente, Eivind
