Σ〈$`\Sigma`$〉なんらかの意味の指標、D〈$`D`$〉はドクトリンだとして、$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\In}{ \text{ in } } \newcommand{\mrm}[1]{ \mathrm{#1} } %`$$`\quad \cat{C} = \mrm{Th}^D(\Sigma)`$とする。$`\cat{E}`$ を同…

フラットコンステレーション＝ストリング図テンプレート⊇ワイヤリング図 ソリッドディスク＝ストリング図⊇無ノード・ワイヤリング図＝スパイダー図 外サークル＝ストリング図のキャンバス境界 内サークル達＝ストリング図テンプレートのスロット境界達 中間…