Quadratic Cost Duality and Convex Subdifferential Structure is a result from the foundations of optimal transport. For mathematical objects, let mathematical objects be Borel probability measures with finite second moments, and let mathematical objects denote the set of Borel probability measures mathematical objects on mat. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.