通过 Waldhausen K 理论的动机测度

本文我们引入到 Waldhausen 范畴的 $cdp$-函子的概念。我们证明此类函子允许满足切除性质的扩张，我们将其与 Euler-Poincar\'e 特征相关联，该特征将真概型的类映到其像的类。作为一个应用，我们证明 Yoneda 嵌入在有限 Krull 维数的 Noetherian 概型上产生一个幺半真纤维 Waldhausen 范畴，并带有到其纤维的典范 $cdp$-函子。