Brenier's Theorem is a result from the foundations of optimal transport. For mathematical objects. Let mathematical objects denote mathematical objects-dimensional mathematical objectsnmathematical objects, 2(n)mathematical objectsnmathematical objects nmathematical objects(,)mathem. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.