 Fibre product of schemes

ID: fibre-product-of-schemes

The fibre product

X \times_{S} Y

represents pairs of morphisms to

X

and

Y

with equal composites to

S

. Affine-locally,

Spec A \times_{Spec R} Spec B = Spec (A \otimes_{R} B) .

 New to topics? Read the docs here!