$Spec R$ as a LocallyRingedSpace
#
We bundle the structure_sheaf R
construction for R : CommRing
as a LocallyRingedSpace
.
Future work #
Make it a functor.
Spec of a commutative ring, as a SheafedSpace
.
Spec of a commutative ring, as a PresheafedSpace
.
Spec of a commutative ring, as a LocallyRingedSpace
.