Assertion: scheme | /r/HasProperty | functor
Facets:
Source sentences:
text: Considered as its functor of points, a scheme is a functor which is a sheaf of sets for the Zariski topology on the category of commutative rings, and which, locally in the Zariski topology, is an affine scheme.