 Scheme-theoretic fibre

The fibre of a morphism of schemes over $y\in Y$ is its base change to the residue field $\kappa (y)$. For $\mathrm{Spec}B\to \mathrm{Spec}A$, with $y$ corresponding to $\mathfrak{p}$, its fibre ring is $B{\otimes }_A\kappa (\mathfrak{p})$. Its structure sheaf records nilpotents and multiplicities that the set-theoretic inverse image cannot see.