#relative product #fiber product #scheme theory #pullback #algebraic geometry #base change #join over base #product over s