ケビン・コステロが定義した“グラフの圏”は、実際には圏になってません。しかし、ほとんど圏と同様に扱えますし、役に立ちます。射の結合可能性条件を等式から同型に緩めた事例として興味深く示唆に富みます。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcomma…