The authors develop a theory of THH and TC of Waldhausen categories and prove the analogues of Waldhausen's theorems for K-theory. They resolve the longstanding