宇宙
依存型のwikiのページに出てきた
https://ja.wikipedia.org/wiki/依存型#形式的な定義
IUT理論
に出てくる宇宙ってこれ
#??
いくつかの種類がある
グロタンディーク宇宙
https://ja.wikipedia.org/wiki/宇宙_(数学)
https://qiita.com/atsuyoshi-muta/items/718509896514a51681bf