型と集合
#Fleeting_Notes
型と集合(types and sets)
集合は0-グルーポイド
homotopy level
h-level 2
n-truncation
0-truncated
homotopy theory
homotopy 0-type
higher category theory
0-groupoid/​set
higher topos theory
sheaf
homotopy type theory
h-set
確認用
Q. 型と集合
参考
『Introduction to Univalent Foundations of Mathematics with Agda』 Introduction
infinity-groupoid
関連
高次グルーポイド
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(英)