术语 · Terminology

术语翻译表

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

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

下载稳定术语表下载完整术语表提交新术语

代数与数论

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

共 941 个义项

511 adjoint functor theorem（同调代数与范畴论）伴随函子定理

512 algebra over an (∞,1)-operad（同调代数与范畴论） (∞,1)-算畴代数

513 algebraic Kan complex（同调代数与范畴论）代数 Kan 复形

514 algebraic theory（同调代数与范畴论）代数理论

515 amalgamated sum（同调代数与范畴论）粘连和

516 anima（同调代数与范畴论）生象

517 animated ring（同调代数与范畴论）生象环

518 arrow category（同调代数与范畴论）箭头范畴

519 arrow fibration（同调代数与范畴论）箭头纤维化

520 bang modality（同调代数与范畴论） ! 模态

521 bar construction（同调代数与范畴论）杠构造

522 Barr–Beck–Lurie Theorem（同调代数与范畴论） Barr–Beck–Lurie 定理

523 bi-invertible equivalence（同调代数与范畴论）双可逆等价

524 biproduct（同调代数与范畴论）双积

525 Bousfield–Kuhn functor（同调代数与范畴论） Bousfield–Kuhn 函子

526 braided Hopf algebra（同调代数与范畴论）辫 Hopf 代数

527 braided monoidal category（同调代数与范畴论）辫幺半范畴

528 Brown representability theorem（同调代数与范畴论） Brown 可表性定理

529 Calkin category（同调代数与范畴论） Calkin 范畴

530 call-by-push-value（同调代数与范畴论）伴随求值

531 canonical（同调代数与范畴论）典范

532 cartesian closed category（同调代数与范畴论）积闭范畴

533 cartesian logic（同调代数与范畴论） Descartes 逻辑

534 cartesian monoidal category（同调代数与范畴论）积幺半范畴

535 Cartesian space（同调代数与范畴论） Descartes 空间

536 cartesian square（同调代数与范畴论） Descartes 方块

537 categorical homotopy theory（同调代数与范畴论）范畴同伦论

538 categorical semantics（同调代数与范畴论）范畴语义

539 categorification（同调代数与范畴论）范畴化

540 category（同调代数与范畴论）范畴