On the algebraic K-theory of higher categories

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective) deloopings, and the K-theory functor enjoys a simple universal property. Using this, we give new, higher categorical proofs of the approximation, additivity, and fibration theorems of Waldhausen in this article. As applications of this technology, we study the algebraic K-theory of associative rings in a wide range of homotopical contexts and of spectral Deligne-Mumford stacks.