本編「レコードの型階層を合理的に説明できるか」の設定でインスティチューションを作ってみる。用語や記号は本編記事に従う。指標圏フィールド名として許されるすべての名前の集合をName（無限集合と仮定）とする。Nameの有限部分集合を指標と呼ぶ。例えば…