Recall that the affine line is an affine -scheme. Let denote the category of -rings.
A function on a -scheme is defined to be an object . is a -ring by component-wise addition and -multiplication.
There is an adjoint equivalence
of the categories of affine k-schemes and -rings.