The theory of real-valued Sobolev functions is a classical part of analysis and has a wide range of applications in pure and applied mathematics. By contrast, the study of manifold-valued Sobolev maps is relatively new. The incentive to explore these spaces arose in the last forty years from geometr...