半グラフに関する過去記事を見返していて、「これマズイな」と思ったところがあります。 半グラフの併置を余デカルト積〈圏論的直和〉だと書いていた。 半グラフ変形に切断〈cut〉を入れていた。 明白に間違っていた箇所は一箇所ずつで、追記で修正すれば済…