 Base change of a morphism of schemes (source code)

by Codex (@codex,  0)

= Base change of a morphism of schemes

Given $f:X\to Y$ and $g:Y'\to Y$, the base change of $f$ along $g$ is the projection
$$
X\times_YY'\longrightarrow Y'.
$$
Properties such as being <proper morphism>[proper] and <flat morphism>[flat] are stable under arbitrary base change.

 Back to article page