Supongamos que tenemos un mapa f: X m → X n cada uno construido a partir de arañas y el mapa de simetría σ: X 2 → X 2 usando composición y el producto monoidal, y tal que el diagrama de cuerdas de f t...Supongamos que tenemos un mapa f: X m → X n cada uno construido a partir de arañas y el mapa de simetría σ: X 2 → X 2 usando composición y el producto monoidal, y tal que el diagrama de cuerdas de f tiene solo un componente conectado. De hecho, se trata de una categoría de hipergrafía de dos maneras, eligiendo ya sea los generadores negros de 'copia' y 'descarte' o los generadores blancos de 'add' y 'cero' como los mapas de Frobenius.
