昨日の記事「拡張包括構造のもうひとつの定式化」で次のように書きました。 $`\mathrm{Disp}`$ が関手になるとき、選択した $`(d, f) \mapsto f^\# d`$ 達を、ディスプレイクラス $`\mathscr{D}`$ の分裂子〈splitting〉と呼びます。分裂子を持つディスプレ…