具体例として、$`X`$ と名付けられた次の幾何半グラフを考えます。幾何半グラフについては、「半グラフのあいだのエタール射 // 幾何半グラフと組み合わせ半グラフ」を参照してください。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\bdry}{\partial }`$この幾何半グラフ $`X = (X_0, X_1)`$ を、頂点集合 $`X_0`$ と、全体から頂点集合を取り除いた空間 $`X_1\setminus X_0`$ に分けてみると以下のようになります。幾何半グラフ $`X`$ は、2個の頂点と、1本の非ループ内部辺、1本の自己ルー…