Abstract tensor systems as monoidal categories

DOI10.1007/978-3-642-54789-8_13MaRDI QIDQ5414967zbMATH OpenOpenAlexFDO

Authors Aleks Kissinger

Publication date 8 May 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.3586

Mathematics Subject Classification ID

Abstract: 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.

Recommendations

• A survey of graphical languages for monoidal categories
• The geometry of tensor calculus. I
• Traces in symmetric monoidal categories
• A practical type theory for symmetric monoidal categories
• Algebra and Coalgebra in Computer Science

Cites work

• Categorical quantum mechanics
• Coherence for compact closed categories
• Coherence in closed categories
• Compact monoidal categories from linguistics to physics
• Deductive systems and categories
• Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
• Functors between tensored categories
• scientific article; zbMATH DE number 5702692 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Quantum invariants of knots and 3-manifolds
• The geometry of tensor calculus. I
• Tortile tensor categories

Cited in

(11)

• The geometry of tensor calculus. I
• A universal rigid abelian tensor category
• Monoidal categories, symmetries, and compound physical systems
• Computing with semirings and weak rig groupoids
• A survey of graphical languages for monoidal categories
• scientific article; zbMATH DE number 5811738 (Why is no real title available?)
• A practical type theory for symmetric monoidal categories
• Encoding !-tensors as !-graphs with neighbourhood orders
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• A compositional approach to parity games
• Rewriting modulo traced comonoid structure

This page was built for publication: Abstract tensor systems as monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414967)