「最近の型理論： 宇宙と世界、そして銀河」(2023-04-21) 以来、型理論で使う宇宙、つまり型宇宙に興味を持っています。型宇宙は、型達をホストする場所（「ホストする」については「型・インスタンス・宇宙とタルスキ宇宙系列 // 居住関係」参照）です。型…