Title: Incidence Hypergraphs: Box Products & the Laplacian

Abstract: The box product as a symmetric monoidal product and its associated box exponential are characterized for the categories of quivers (directed graphs), multigraphs, set system hypergraphs, and incidence hypergraphs. It is shown that only the quiver case of the box exponential can be characterized via homs entirely within their own category. An asymmetry in the incidence hypergraphic box product is rectified via the introduction of an incidence dual-closed generalization of the box product, called the Laplacian product, that effectively treats vertices and edges as real and imaginary parts of a complex number, respectively. The Laplacian product is shown to have a natural interpretation as the canonical box product for graphs via the bipartite representation functor, while the associated Laplacian exponential is represented as homs entirely in the category of incidence hypergraphs. The evaluation of the Laplacian exponential at paths is shown to produce vertex sets and edge sets that correspond to the entries in half-powers of the oriented hypergraphic Laplacian matrix and its dual. Finally, through the Laplacian exponential, we show evaluation at paths of length $1/2$ correspond to the incidence matrix, and the row/column structure is an evaluation of the Laplacian exponential.