Abstract: Waldhausen’s algebraic K-theory of manifolds satisfies a homotopical lift of the classical h-cobordism theorem and provides a critical link in the chain of homotopy theoretic constructions that show up in the classification of manifolds and their diffeomorphisms. I will give an overview of joint work with Goodwillie, Igusa and Malkiewich about the equivariant homotopical lift of the h-cobordism theorem.