Case (\ref{item-representable-fp-over-ft}) follows from Lemma \ref{lemma-thicken-property-morphisms}. \medskip\noindent Choose a scheme $U'$ and a surjective \'etale morphism $U' \to B'$. Choose a scheme $V'$ and a surjective \'etale morphism $V' \to U' \times_{B'} Y'$. Choose a scheme $W'$ and a surjective \'etale morphism $W' \to V' \times_{Y'} X'$. Let $U, V, W$ be the base change of $U', V', W'$ by $B \to B'$. Consider the diagram $$ \xymatrix{ (W \subset W') \ar[rr] \ar[rd] & & (V \subset V') \ar[ld] \\ & (U \subset U') } $$ of thickenings of schemes. For any of the properties which are \'etale local on the source-and-target the result follows immediately from the corresponding result for morphisms of thickenings of schemes applied to the diagram above. Thus cases (\ref{item-flat-fp-over-ft}), (\ref{item-quasi-finite-fp-over-ft}), (\ref{item-relative-dimension-d-fp-over-ft}), (\ref{item-syntomic-fp-over-ft}), (\ref{item-smooth-fp-over-ft}), (\ref{item-unramified-fp-over-ft}), (\ref{item-etale-fp-over-ft}) follow from the corresponding cases of More on Morphisms, Lemma \ref{more-morphisms-lemma-deform-property-fp-over-ft}. \medskip\noindent Since $X \to X'$ and $Y \to Y'$ are universal homeomorphisms we see that any question about the topology of the maps $X \to Y$ and $X' \to Y'$ has the same answer. Thus we see that cases (\ref{item-quasi-compact-fp-over-ft}), (\ref{item-universally-closed-fp-over-ft}), (\ref{item-surjective-fp-over-ft}), (\ref{item-universally-injective-fp-over-ft}), and (\ref{item-universally-open-fp-over-ft}) hold. \medskip\noindent In each of the remaining cases we only prove the implication $f\text{ has }P \Rightarrow f'\text{ has }P$ since the other implication follows from the fact that $P$ is stable under base change, see Spaces, Lemma \ref{spaces-lemma-base-change-immersions} and Morphisms of Spaces, Lemmas \ref{spaces-morphisms-lemma-base-change-separated}, \ref{spaces-morphisms-lemma-base-change-monomorphism}, \ref{spaces-morphisms-lemma-base-change-affine}, \ref{spaces-morphisms-lemma-base-change-proper}, \ref{spaces-morphisms-lemma-base-change-integral}, and \ref{spaces-morphisms-lemma-base-change-finite-locally-free}. \medskip\noindent The case (\ref{item-open-immersion-fp-over-ft}). Assume $f$ is an open immersion. Then $f'$ is \'etale by (\ref{item-etale-fp-over-ft}) and universally injective by (\ref{item-universally-injective-fp-over-ft}) hence $f'$ is an open immersion, see Morphisms of Spaces, Lemma \ref{spaces-morphisms-lemma-etale-universally-injective-open}. You can avoid using this lemma at the cost of first using (\ref{item-representable-fp-over-ft}) to reduce to the case of schemes. \medskip\noindent The case (\ref{item-isomorphism-fp-over-ft}). Follows from cases (\ref{item-open-immersion-fp-over-ft}) and (\ref{item-surjective-fp-over-ft}). \medskip\noindent The case (\ref{item-separated-fp-over-ft}). See Lemma \ref{lemma-thicken-property-morphisms}. \medskip\noindent The case (\ref{item-monomorphism-fp-over-ft}). Assume $f$ is a monomorphism. Consider the diagonal morphism $\Delta_{X'/Y'} : X' \to X' \times_{Y'} X'$. The base change of $\Delta_{X'/Y'}$ by $B \to B'$ is $\Delta_{X/Y}$ which is an isomorphism by assumption. By (\ref{item-isomorphism-fp-over-ft}) we conclude that $\Delta_{X'/Y'}$ is an isomorphism and hence $f'$ is a monomorphism. \medskip\noindent The case (\ref{item-affine-fp-over-ft}). See Lemma \ref{lemma-thicken-property-morphisms}. \medskip\noindent The case (\ref{item-proper-fp-over-ft}). See Lemma \ref{lemma-properties-that-extend-over-thickenings}. \medskip\noindent The case (\ref{item-finite-fp-over-ft}). See Lemma \ref{lemma-properties-that-extend-over-thickenings}. \medskip\noindent The case (\ref{item-finite-locally-free-fp-over-ft}). Assume $f$ finite locally free. By (\ref{item-finite-fp-over-ft}) we see that $f'$ is finite. By (\ref{item-flat-fp-over-ft}) we see that $f'$ is flat. Also $f'$ is locally finite presentation by Morphisms of Spaces, Lemma \ref{spaces-morphisms-lemma-finite-presentation-permanence}. Hence $f'$ is finite locally free by Morphisms of Spaces, Lemma \ref{spaces-morphisms-lemma-finite-flat}.