Let f : X → Y be a map.
In algebraic geometry, if f : X → Y is a morphism of schemes, the fiber of a point p in Y is the fibered product X\times_Y \mathrm{Spec}\, k(p) where k(p) is the residue field at p.