This book presents a broad overview with proofs. It details the Monge-Kantorovich problem, Riemannian geometry, dynamical systems and more.