Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Another way to see that the functor $\mathrm{Sch} \to \mathrm{Top}$ is not a left adjoint is to see that it does not preserve colimits. In this MO answerthis MO answer, Laurent Moret-Bailley gives an example of a pair of arrows $Z \rightrightarrows X$ in $\mathrm{Sch}$, such that the canonical map from $X$ to the coequalizer $Y$ is not surjective (as a function between the sets of points of the underlying spaces). Since in $\mathrm{Top}$ those canonical maps to the coequalizer are always surjective, this coequalizer cannot be preserved by the forgetful functor.

Another way to see that the functor $\mathrm{Sch} \to \mathrm{Top}$ is not a left adjoint is to see that it does not preserve colimits. In this MO answer, Laurent Moret-Bailley gives an example of a pair of arrows $Z \rightrightarrows X$ in $\mathrm{Sch}$, such that the canonical map from $X$ to the coequalizer $Y$ is not surjective (as a function between the sets of points of the underlying spaces). Since in $\mathrm{Top}$ those canonical maps to the coequalizer are always surjective, this coequalizer cannot be preserved by the forgetful functor.

Another way to see that the functor $\mathrm{Sch} \to \mathrm{Top}$ is not a left adjoint is to see that it does not preserve colimits. In this MO answer, Laurent Moret-Bailley gives an example of a pair of arrows $Z \rightrightarrows X$ in $\mathrm{Sch}$, such that the canonical map from $X$ to the coequalizer $Y$ is not surjective (as a function between the sets of points of the underlying spaces). Since in $\mathrm{Top}$ those canonical maps to the coequalizer are always surjective, this coequalizer cannot be preserved by the forgetful functor.

Source Link

Another way to see that the functor $\mathrm{Sch} \to \mathrm{Top}$ is not a left adjoint is to see that it does not preserve colimits. In this MO answer, Laurent Moret-Bailley gives an example of a pair of arrows $Z \rightrightarrows X$ in $\mathrm{Sch}$, such that the canonical map from $X$ to the coequalizer $Y$ is not surjective (as a function between the sets of points of the underlying spaces). Since in $\mathrm{Top}$ those canonical maps to the coequalizer are always surjective, this coequalizer cannot be preserved by the forgetful functor.