Hadamard spaces, also known as complete CAT(0) spaces, provide a rich framework in which the geometry of non‐positive curvature underpins a broad range of mathematical and applied investigations.