一种 procdh 拓扑

本文提出了 procdh 拓扑斯的定义。我们证明了它编码了 procdh 切除，具有有界同伦维数，因此是超完备的并容许一个保守的纤维函子族。我们还描述了局部环。作为应用，我们证明了非连通 $K$-理论是连通 $K$-理论的 procdh 层化，而 Elmanto 和 Morrow 最近提出的动机上同调是 Voevodsky 动机上同调的 procdh 层化。