Wiki. “代数 K-理论谱” [代数K-理论谱]SimplicialCat 定义 设 $R$ 为环, 那么投射对象 $R$-模构成的群胚为一 Abel ∞-群, 其群化称为 $R$ 的代数 K-理论谱.