C08/S02翻訳

GLOSSARY.md

@@ -41,6 +41,7 @@
 | dependent type theory | 依存型理論 |
 | derivative function | 導関数 |
 | derivative of ~ | ~での微分係数 |
+| descend | （自然な全単射などへ）誘導される |
 | direct image | 順像 |
 | disjunction | 選言 |
 | distributive lattice | 分配束 |
@@ -75,6 +76,7 @@
 | iff | 必要十分条件 |
 | image | 像 |
 | inclusion | 包含 |
+| indeterminate | 不定元 |
 | induction | 帰納法 |
 | infimum | 下限 |
 | integral domain | 整域 |
@@ -158,8 +160,10 @@
 | uniformly continuous | 一様連続 |
 | uniform space | 一様空間 |
 | union | 合併, 非交和 |
+| univariate polynomial | 一変数多項式 |
 | universal property | 普遍性 |
 | universal quantifier | 全称量化子 |
+| up to definitional equality | 定義上の同値を除いて（ベーシック圏論にてunique up to isomorphismを「同型を除いて一意」と訳されていることに合わせた） |
 | well-founded | 整礎関係 |
 | well-formed | 合法 |
 | well-formed formula | 論理式 |