Abstract
AbstractProperties of morphisms represented by so-called `string diagrams' of monoidal categories (and their braided and symmetric derivatives), mainly their resistance in value to isotopic deformation, have made the usage of graphical calculi commonplace in category theory ever since the correspondence between diagrams and tensor categories was rigorously established by Joyal and Street in 1991. However, we find it important to make certain additions to the existing theory of monoidal categories and their diagrams, with the goal of extending to so-called `infinitary monoidal categories'. Most crucially, we employ a structure inherently resistant to isotopic deformation, thus replacing topological details with categorical ones. In the process, we coherently introduce infinitary tensor product and transfinite composition into the diagrammatic formalism.
Publisher
Research Square Platform LLC
Reference16 articles.
1. MacLane, Saunders (1963) Natural Associativity and Commutativity. Rice Institute Pamphlet - Rice University Studies 49(4): 28-46 https://hdl.handle.net/1911/62865
2. Andr é Joyal and Ross Street (1991) The geometry of tensor calculus, I. Advances in Mathematics 88(1): 55-112 https://doi.org/https://doi.org/10.1016/0001-8708(91)90003-P, https://www.sciencedirect.com/science/article/pii/000187089190003P, 0001-8708
3. Leinster, Tom (2004) Higher Operads, Higher Categories. Cambridge University Press, England, London Mathematical Society Lecture Note Series, 10.1017/CBO9780511525896, London Mathematical Society Lecture Note Series, Cambridge
4. Mac Lane, Saunders (1978) Categories for the Working Mathematician. Springer New York, New York, NY, Graduate Texts in Mathematics, 978-0-387-98403-2, https://doi.org/10.1007/978-1-4757-4721-8, 5
5. A. Joyal and R. Street (1993) Braided Tensor Categories. Advances in Mathematics 102(1): 20-78 https://doi.org/https://doi.org/10.1006/aima.1993.1055, https://www.sciencedirect.com/science/article/pii/S0001870883710558, 0001-8708