"differential geometry" is the science of "smooth maps" between "manifolds"