型と集合
#Fleeting_Notes
型と集合(types and sets)
集合は0-グルーポイド
確認用
Q. 型と集合
参考
『Introduction to Univalent Foundations of Mathematics with Agda』
関連
Sets as Types
,
Types as Sets
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 3 Sets and logic
高次グルーポイド
調査用
Google.icon
型と集合(日)
Google.icon
Types and sets(英)
Wikipedia.icon
型と集合 - Wikipedia(日)
型と集合(検索) - Wikipedia(日)
Wikipedia.icon
Types and sets - Wikipedia(英)
Types and sets(検索) - Wikipedia(英)