idempotent complete (∞,1)-category TS-0986 本站译名 本站译名:幂等完备 $(\infty,1)$-范畴 同调代数与范畴论 类型论与数学基础 查看该义项详情 →