Definition 26.17.1. Given morphisms of schemes $f : X \to S$ and $g : Y \to S$ the *fibre product* is a scheme $X \times _ S Y$ together with projection morphisms $p : X \times _ S Y \to X$ and $q : X \times _ S Y \to Y$ sitting into the following commutative diagram

which is universal among all diagrams of this sort, see Categories, Definition 4.6.1.

## Comments (0)

There are also: