「同じ」にかかわる言葉
「同じ」にかかわる言葉(Words related to "same")
ちょっと括りが大きすぎるか
equivalent、equivalence、univalent、univalenceなどがうまく区別できないのでまとめてみる
適切な訳語を見つけるためのページになる
主に以下のようなものの「同じ」にかかわる言葉が含まれる
数理論理学
群論
圏論
トポロジー(位相幾何学)
ホモトピー論
型理論
ホモトピー型理論
Lean JAのスレッドを見ているとdefinitional equality、propotitionnal equality等を訳すのはかなり難しそうに見える equal
等しい
等しさ
等式
等価
等号
イコライザー
等化
等化子
同値性
同等
同値
一価？
一価性？
メモ: 一価性と訳しているところ
一価の？
同一性の？
identity
恒等、恒等式
単位元
等価な型?
同値型？
等式型？
identity function
恒等関数
identity morphism
identity functor
一価の公理
同一性の公理
一価の基礎
同一性の基礎
型同値？
型の同値？
logical equivalence
論理的に同値
論理として等しい
論理上等しい
定義として等しい
定義的に等しい
定義上等しい
定義としての等しさ
定義として等価？
命題として等しい
命題的に等しい
命題上等しい
命題としての等しさ
命題として等価？
判断としての等しさ
判断として等価？
判断的等質性？
型としての等しさ
型として等価？
isomorphic
homomorphic
group homomorphism
group isomorphism
ring homomorphism
ring isomorphism
graph isomorphism
homeomorphic
homotopy equivalent
weak homotopy equivalent
contractible
isomorphism of categories
equivalence of categories
weak equivalence of categories
natural isomorpshism
同値
equivalence relation
identification
congruent
congruence
射に関する同じ
参考
確認用
Q. 「同じ」にかかわる言葉
メモ
調査用