Explores geodesic convexity and its extension to optimization on manifolds, emphasizing the preservation of the key fact that local minima imply global minima.
Explores making tangent spaces linear, defining tangent vectors without an embedding space and their operations, as well as the equivalence of different tangent space notions.
