前回（昨日）の記事「最近の型理論： 宇宙と世界、そして銀河」で説明した世界構造に関して、少し補足します。$`\newcommand{\Imp}{\Rightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}}…