Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: A graphical calculus for semi-groupal categories
(Submitted on 25 Apr 2016 (v1), last revised 25 Nov 2018 (this version, v7))
Abstract: 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.
Submission history
From: Xuexing Lu [view email][v1] Mon, 25 Apr 2016 14:26:19 GMT (22kb)
[v2] Sat, 15 Apr 2017 05:15:22 GMT (21kb)
[v3] Sat, 5 Aug 2017 12:20:59 GMT (17kb)
[v4] Sat, 12 Aug 2017 07:09:25 GMT (17kb)
[v5] Mon, 16 Apr 2018 08:15:15 GMT (19kb)
[v6] Mon, 19 Nov 2018 07:51:46 GMT (40kb)
[v7] Sun, 25 Nov 2018 03:01:53 GMT (40kb)
Link back to: arXiv, form interface, contact.