The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract tensor system and demonstrate the construction of its associated category. We then show that the associated category of the free abstract tensor system is in fact the free traced symmetric monoidal category on a monoidal signature. A notable consequence of this result is a simple proof for the soundness and completeness of the diagrammatic language for traced symmetric monoidal categories. © Springer-Verlag Berlin Heidelberg 2014.
CITATION STYLE
Kissinger, A. (2014). Abstract tensor systems as monoidal categories. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8222, 235–252. https://doi.org/10.1007/978-3-642-54789-8_13
Mendeley helps you to discover research relevant for your work.