半グラフのあいだの準同型写像（半グラフ変形ではない）がエタールであることを、近傍関手とデカルト四角形〈プルバック図式〉により特徴付けます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\In}{\text{ in } } \newcommand{\bdry}{\partial } \new…