「亜群をベースとする圏類似構造： コステロの事例」において次のように書きました。 ケビン・コステロが定義した“グラフの圏”は、実際には圏になってません。しかし、ほとんど圏と同様に扱えますし、役に立ちます。 「コステロの半グラフ圏から二重関手意味…