This presentation offers a coherent introduction to the theory of manifolds in Banach spaces - a natural infinite-dimensional generalization of finite-dimensional Riemannian manifolds. We will also explore applications of this framework to the study of higher-dimensional singular sets, like the Wigner caustic.