タルスキ宇宙
#Fleeting_Notes
タルスキ宇宙(Tarski-style universe, Tarski universe)
$ \frac{A : \mathcal{U}}{El(A)\ \text{type}}
$ A: \mathcal{U} : 型宇宙$ \mathcal{U} と型$ A
$ El(A) は型の要素を取る演算
確認用
Q. タルスキ宇宙
メモ
最近の型理論： 宇宙・世界・銀河 もう少し - 檜山正幸のキマイラ飼育記 (はてなBlog)
Tarski universe in nLab
『Introduction to Homotopy Type Theory』
『Notes on Universes in Type Theory』
調査用
Google.icon タルスキ宇宙(日)
Google.icon Tarski universe(英)
Wikipedia.icon
タルスキ宇宙 - Wikipedia(日)
タルスキ宇宙(検索) - Wikipedia(日)
Wikipedia.icon
Tarski universe - Wikipedia(英)
Tarski universe(検索) - Wikipedia(英)