non-connective algebraic K-theory (同调代数与范畴论) 共识译名 共识译名:非连合代数 K 理论 主分类:同调代数与范畴论 关联领域:类型论与数学基础 查看该义项详情 →