Involution of the mathematical objects-Transform on mathematical objects-Concave Functions is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be sets, let mathematical objects be an extended-real-valued cost function, and interpret all infima in mathematical objects. For a function mathematical object. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.