A hypergraph category is a monoidal category whose string diagrams are hypergraphs. Recall that in general the vertices of a string diagram correspond to morphisms in a category, and its edges to objects. An ordinary string diagram is a quiver, where the inputs and outputs of a vertex describe objects appearing in a tensor-product decomposition of the domain and codomain of a morphism; each edge is connected to only one vertex as input and one vertex as output because of how morphisms in a category are composed. A hypergraph category allows edges to connect to many vertices as input and many vertices as output, which categorically means that we can compose many morphisms containing an object in their codomain with many morphisms containing that object in their domain.
Hypergraph categories have been reinvented many times and given many different names, such as “well-supported compact closed categories” (Carboni and RSW), “dgs-monoidal categories” (GH), and “spidered/dungeon categories” (Morton). The name “hypergraph category” is more recent (Kissinger and Fong).
A hypergraph category is:
Note in particular that we do not require the morphisms of the category to be Frobenius algebra morphisms.
The reason for the definition is that if $X$ is a special commutative Frobenius algebra, then there is a unique morphism $X^{\otimes m}\to X^{\otimes n}$ induced by the Frobenius algebra structure. It can of course be defined as the $m$-ary multiplication followed by the $n$-ary comultiplication; the real point is that the special commutative Frobenius axioms ensure that any composite of two such morphisms is again another such morphism. This is what enables the hypergraph string diagrams described informally above.
The free hypergraph category on one object is the category of finite sets and isomorphism classes of cospans. This is a decategorification of the fact that the free monoidal category containing a (non-special) commutative Frobenius algebra is the category of 1-dimensional manifolds and isomorphism classes of 2-dimensional cobordisms. More general free hypergraph categories can be constructed using labeled cospans.
Note that the special commutative Frobenius algebras are not required to be “extra-special”, meaning that the morphism $I = X^{\otimes 0} \to X^{\otimes 0} = I$ need not be the identity. Thus, the relevant sort of “hypergraphs” can contain “edges not incident to any vertices”. If we add the extra-special condition, the cospans are replaced by “co-relations”, i.e. jointly surjective cospans.
Created on August 1, 2017 at 03:22:09. See the history of this page for a list of all contributions to it.