# mathlibdocumentation

algebraic_geometry.Spec

# $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.

Equations

Spec of a commutative ring, as a PresheafedSpace.

Equations

Spec of a commutative ring, as a LocallyRingedSpace.

Equations