\(K\)-theory of derivators revisited (Q503344)

The author defines derivators and their associated \(K\)-theory. Next, one of the main theorems is that this \(K\) theory coincides with Waldhausen \(K\)-theory under certain hypotheses, namely, the author proves Theorem 4.3.1. Let \(\mathcal{C}\) be a strongly saturated derivable Waldhausen category. Then there is a natural weak equivalence \(K(\mathcal{C})\to K^{W}(\mathbb{D}(\mathcal{C})\), where \(\mathbb{D}(\mathcal{C})\) denotes derivators of \(\mathcal{C}.\) Moreover, the author proves that derivator \(K\)-theory is weakly equivalent to the geometric realization of Waldhausen \(K\)-theory, \(K^{W,ob}\). On the other hand, there is a comparison map \(\mu^{ob}\) from Waldhausen \(K\)-theory to derivator \(K\) theory. The second main result is that this comparison map is homotopically initial in the category with weak equivalences \(\mathbf{App}\).