一連のシリーズ記事として、「階層化された宇宙達を備えた型理論」について述べてきました。最初の記事がハブ記事（他の記事へのリンク集）にもなっています。 最近の型理論： 宇宙と世界、そして銀河 「階層化された宇宙達を備えた型理論」は依存型理論でも…