型宇宙
型宇宙(type universe)
宇宙(universe)は、型の要素が型である型
言い換え: 宇宙の要素が型
イメージとして↓の感じ
[型1, 型2, 型3, ... ] : 宇宙
変数名: 型名
という記法で考えると
code:memo
type : Universe
確認用
Q. 型宇宙
関連
宇宙(数学)
ラッセル宇宙
タルスキ宇宙
参考
最近の型理論： 宇宙・世界・銀河 もう少し
メモ
type universe in nLab
最近の型理論： 型理論の構文論と意味論
［0009］ 宇宙
調査用
Google.icon
型宇宙(日)
Google.icon
型宇宙 型理論(日)
Google.icon
Type universe(英)
Wikipedia.icon
型宇宙 - Wikipedia(日)
型宇宙(検索) - Wikipedia(日)
Wikipedia.icon
Type universe - Wikipedia(英)
Type universe(検索) - Wikipedia(英)