术语 · Terminology

术语翻译表

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

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

类型论与数学基础
下载稳定术语表 下载完整术语表 提交新术语

类型论与数学基础

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

共 71 个义项

01 abstract type（类型论与数学基础） 抽象类型
02 axiom of resizing（类型论与数学基础） 降级公理
03 bottom type（类型论与数学基础） 底类型
04 capture-avoiding substitution（类型论与数学基础） 避免捕获的替换
05 computation rule（类型论与数学基础） 计算规则
06 constructor（类型论与数学基础） 构造子
07 context（类型论与数学基础） 语境
08 coproduct type（类型论与数学基础） 余积类型
09 cubical type theory（类型论与数学基础） 立方类型论
10 cumulative（类型论与数学基础） 累积
11 currying（类型论与数学基础） Curry 化
12 dependent sum（类型论与数学基础） 依值和
13 dependent type theory（类型论与数学基础） 依值类型论
14 disjoint union type（类型论与数学基础） 无交并类型
15 eliminator（类型论与数学基础） 消去子
16 empty type（类型论与数学基础） 空类型
17 equivalence（类型论与数学基础） 等价
18 existential type（类型论与数学基础） 存在类型
19 extrinsic（类型论与数学基础） 外蕴
20 function extensionality（类型论与数学基础） 函数外延性
21 generalized algebraic data type（类型论与数学基础） 广义代数数据类型
22 heterogeneous equality（类型论与数学基础） 异质相等
23 homogeneous composition（类型论与数学基础） 复合
24 homotopy level（类型论与数学基础） 同伦层级
25 hypothetical judgment（类型论与数学基础） 假言判断
26 identity type（类型论与数学基础） 相等类型
27 impredicativity（类型论与数学基础） 非直谓性
28 indexed type（类型论与数学基础） 指标类型
29 induction-recursion（类型论与数学基础） 归纳递归
30 inductive family（类型论与数学基础） 归纳族