関係
#Fleeting_Notes
関係(relation)
二項関係
同値関係
圏と同値関係
Setoid
Connected relation
同型
不変量
ホモトピック
(写像の関係)
ホモトピー同値
(位相空間同士の関係)
Univalence Axiom (UA)
Logical Relations as Types
Logical Relation as Category
型の等しさ
「同じ」にかかわる言葉
型理論における型が同じと同型は同じかどうか
確認用
Q. 関係
関連
○○ as ○○
調査用
Google.icon
関係(日)
Google.icon
Relation(英)
Wikipedia.icon
関係 - Wikipedia(日)
関係(検索) - Wikipedia(日)
Wikipedia.icon
Relation - Wikipedia(英)
Relation(検索) - Wikipedia(英)