What area of math studies the projection of higher dimensional objects down to lower dimensions? How does string theory math develop this math rigorously?

For example, a 3D sphere moving through a 2D slice would appear to be a circle shrinking and through a 1D slice would appear to be two points converging into one? How do you rigorously define this for any manifold and any dimension?