https://www.irit.fr/~Ralph.Matthes/CAMCAD09/Papers/dixon-kissinger-camcad.pdf https://www.cs.ox.ac.uk/files/4551/cqm-notes.pdf https://ncatlab.org/nlab/show/hypergraph+category https://arxiv.org/pdf/2305.08768.pdf 本編 「スパイダー」