Fiber product of schemes

Summary

The fiber product $X \times_S Y$ of two morphisms of schemes $X \to S$ and $Y \to S$ is their pullback in the category of schemes. It always exists, and for affine schemes it is the spectrum of a tensor product of rings. Fiber products give products of varieties, fibers of morphisms, base change to another field, and the diagonal used to define separatedness.