Definition:Spectrum of Ring Functor
Jump to navigation
Jump to search
Definition
Let $\mathbf{Ring}$ be the category of commutative rings with unity.
To topological spaces
Let $\mathbf{Top}$ be the category of topological spaces.
The spectrum functor $\Spec {} : \mathbf{Ring} \to \mathbf{Top}$ is the contravariant functor with:
Object functor: | $\Spec A$ is the spectrum of a ring $A$ | |
Morphism functor: | If $f : A \to B$ is a ring homomorphism, $\Spec f : \Spec B \to \Spec A$ is the induced map on spectra |