arXiv++ Combinatorics

An upward planar order on an acyclic directed graph $G$ is a special linear extension of the edge poset of $G$ that satisfies the nesting condition. This order was introduced to combinatorially characterize upward plane graphs and progressive plane graphs (commonly known as plane string diagrams). In this paper, motivated by the theory of graphical calculus for monoidal categories, we establish a composition theory for upward planar orders. The main result is that the composition of upward planar orders is an upward planar order. This theory provides a practical method to calculate the upward planar order of a progressive plane graph or an upward plane graph.

We give a more coherent definition of upward planar order.

A causal-net is a finite acyclic directed graph. In this paper, we introduce a category, denoted by $\mathbf{Cau}$ and called causal-net category, whose objects are causal-nets and morphisms between two causal-nets are the functors between their path categories. The category $\mathbf{Cau}$ is in fact the Kleisli category of the "free category on a causal-net" monad. Firstly, we motivate the study of $\mathbf{Cau}$ and illustrate its application in the framework of causal-net condensation. We show that there are exactly six types of indecomposable morphisms, which correspond to six conventions of graphical calculi for monoidal categories. Secondly, we study several composition-closed classes of morphisms in $\mathbf{Cau}$, which characterize interesting partial orders among causal-nets, such as coarse-graining, merging, contraction, immersion-minor, topological minor, etc., and prove several useful decomposition theorems. Thirdly, we introduce a categorical framework for minor theory and use it to study several types of generalized minors in $\mathbf{Cau}$. In addition, we prove a fundamental theorem that any morphism in $\mathbf{Cau}$ is a composition of the six types of indecomposable morphisms, and show that the notions of coloring and exact minor can be understood as special kinds of minimal-quotient and sub-quotient in $\mathbf{Cau}$, respectively. Base on these results, we conclude that $\mathbf{Cau}$ is a natural setting for studying causal-nets, and the theory of $\mathbf{Cau}$ should shed new light on the category-theoretic understanding of graph theory.

The notion of an upward plane graph in graph theory and that of a progressive plane graph (or plane string diagram) in category theory are essentially the same thing. In this paper, we combine the ideas in graph theory and category theory to explain why and in what sense upward planarity is a topological property. The main result is that two upward planar drawings of an acyclic directed graph are equivalent (connected by a deformation) if and only if they are connected by a planar isotopy which preserves the orientation and polarization of $G$. This result gives a positive answer to Selinger's conjectue, whose strategy is different from the solution recently given by Delpeuch and Vicary.

A planar order is a special linear extension of the edge poset (partially ordered set) of a processive plane graph. The definition of a planar order makes sense for any finite poset and is equivalent to the one of a conjugate order. Here it was proved that there is a planar order on the vertex poset of a processive planar graph naturally induced from the planar order of its edge poset.

We give a combinatorial characterization of upward planar graphs in terms of upward planar orders, which are special linear extensions of edge posets.

Around the year 1988, Joyal and Street established a graphical calculus for monoidal categories, which provides a firm foundation for many explorations of graphical notations in mathematics and physics. For a deeper understanding of their work, we consider a similar graphical calculus for semi-groupal categories. We introduce two frameworks to formalize this graphical calculus, a topological one based on the notion of a processive plane graph and a combinatorial one based on the notion of a planarly ordered processive graph, which serves as a combinatorial counterpart of a deformation class of processive plane graphs. We demonstrate the equivalence of Joyal and Street's graphical calculus and the theory of upward planar drawings. We introduce the category of semi-tensor schemes, and give a construction of a free monoidal category on a semi-tensor scheme. We deduce the unit convention as a kind of quotient construction, and show an idea to generalize the unit convention. Finally, we clarify the relation of the unit convention and Joyal and Street's construction of a free monoidal category on a tensor scheme.