用户: 幂零几何/类型论术语中文翻译计划
< 用户:幂零几何
尝试补全一些当前缺少的, 且不易翻译的类型论术语中文翻译, 下面有些是经过讨论后的结果, 主要目的是给中文类型论数学文献写作做参考.
已有在文献中使用的术语翻译见用户:Ice1000/编程语言术语翻译表.
| 英文 | 中文 |
|---|---|
| inhabited type | 有元类型 |
| inhabitant | 居元 |
| mere proposition | 纯命题 |
| layered type theory | 分层类型论 |
| cohesive topos | 合聚意象 |