术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

同调代数与范畴论
下载稳定术语表 下载完整术语表 提交新术语

同调代数与范畴论

分类对象是义项而非英文词形，查看分类说明

共 326 个义项

01 (co)homological dimension（同调代数与范畴论） (上) 同调维数
02 (co)powered（同调代数与范畴论） (余) 幂
03 (∞,1)-category（同调代数与范畴论） (∞,1)-范畴
04 (∞,1)-category of chain complexes（同调代数与范畴论） 链复形 (∞,1)-范畴
05 (∞,1)-cocompletion（同调代数与范畴论） (∞,1)-余完备化
06 (∞,1)-limit（同调代数与范畴论） (∞,1)-极限
07 (∞,1)-sheaf（同调代数与范畴论） (∞,1)-层
08 (∞,1)-terminal object（同调代数与范畴论） (∞,1)-终对象
09 (∞,1)-topos（同调代数与范畴论） (∞,1)-意象
10 abelian category（同调代数与范畴论） 阿贝尔范畴
11 absolute colimit（同调代数与范畴论） 绝对余极限
12 accessible category（同调代数与范畴论） 可达范畴
13 accessible functor（同调代数与范畴论） 可达函子
14 acyclic object（同调代数与范畴论） 零调对象
15 additive category（同调代数与范畴论） 加性范畴
16 additive functor（同调代数与范畴论） 加性函子
17 adjoint（同调代数与范畴论） 伴随
18 adjoint functor theorem（同调代数与范畴论） 伴随函子定理
19 algebra over an (∞,1)-operad（同调代数与范畴论） (∞,1)-算畴代数
20 algebraic Kan complex（同调代数与范畴论） 代数 Kan 复形
21 algebraic theory（同调代数与范畴论） 代数理论
22 amalgamated sum（同调代数与范畴论） 粘连和
23 anima（同调代数与范畴论） 生象
24 animated ring（同调代数与范畴论） 生象环
25 arrow category（同调代数与范畴论） 箭头范畴
26 arrow fibration（同调代数与范畴论） 箭头纤维化
27 bang modality（同调代数与范畴论） ! 模态
28 bar construction（同调代数与范畴论） 杠构造
29 Barr–Beck–Lurie Theorem（同调代数与范畴论） Barr–Beck–Lurie 定理
30 bi-invertible equivalence（同调代数与范畴论） 双可逆等价