术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

类型论与数学基础

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 67 个术语

术语

中文译名

01 abstract type 抽象类型 1

02 axiom of resizing 降级公理 1

03 bottom type 底类型 1

04 capture-avoiding substitution 避免捕获的替换 1

05 computation rule 计算规则 1

06 constructor 构造子 1

07 context 语境 1

08 coproduct type 余积类型 1

09 cubical type theory 立方类型论 1

10 currying Curry 化 1

11 dependent sum 依值和 1

12 dependent type theory 依值类型论 1

13 disjoint union type 无交并类型 1

14 eliminator 消去子 1

15 empty type 空类型 1

16 equivalence 等价 1

17 existential type 存在类型 1

18 function extensionality 函数外延性 1

19 generalized algebraic data type 广义代数数据类型 1

20 heterogeneous equality 异质相等 1

21 homogeneous composition 齐次复合 1

22 homotopy level 同伦层级 1

23 hypothetical judgment 假言判断 1

24 identity type 相等类型 1

25 impredicativity 非直谓性 1

26 indexed type 指标类型 1

27 induction-recursion 归纳递归 1

28 inductive family 归纳族 1

29 inductive type 归纳类型 1

30 internal choice 内选择 1