ハイパーグラフ圏〈hypergraph category〉については、以下の記事でごく簡単に触れたことはあります。 ハイパーグラフ圏 一瞥 しかし、それ以降は話題にしたことがありません。ハイパーグラフ圏をちょっと使ってみたい気がしたので、次の論文の前半をもとに…