Skip to main content
SpringerLink
Log in
Book cover

Categories and Types in Logic, Language, and Physics pp 235–252Cite as

Abstract Tensor Systems as Monoidal Categories

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8222))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings from LiCS (2004) arXiv:quant-ph/0402130v5

    Google Scholar 

  2. Coecke, B., Grefenstette, E., Sadrzadeh, M.: Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus (2013) arXiv: 1302.0393 [math.LO]

    Google Scholar 

  3. Coecke, B., Duncan, R.: Interacting Quantum Observables: Categorical Algebra and Diagrammatics (2009) arXiv:0906.4725v1 [quant-ph]

    Google Scholar 

  4. Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical Foundations for a Compositional Distributional Model of Meaning (2010) arXiv:1003.4394v1 [cs.CL]

    Google Scholar 

  5. Cvitanovic, P.: Group Theory: Birdtracks, Lie’s, and Exceptional Groups. Princeton University Press (2008)

    Google Scholar 

  6. Epstein, D.: Functors between tensored categories. Inventiones Mathematicae 1(3), 221–228 (1966)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hardy, L.: A Formalism-local framework for general probabilistic theories including quantum theory (2010)

    Google Scholar 

  8. Hasegawa, M.: Models of Sharing Graphs (A Categorical Semantics of Let and Letrec). PhD thesis, University of Edinburgh (1997)

    Google Scholar 

  9. Hasegawa, M., Hofmann, M.O., Plotkin, G.: Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 367–385. Springer, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-78127-1_20

    Chapter  Google Scholar 

  10. Joyal, A., Street, R.: The geometry of tensor calculus I. Advances in Mathematics 88, 55–113 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kelly, G., Maclane, S.: Coherence in closed categories. Journal of Pure and Applied Algebra 1(1), 97–140 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kelly, M., Laplaza, M.L.: Coherence for Compact Closed Categories. Journal of Pure and Applied Algebra 19, 193–213 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kissinger, A.: Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing. PhD thesis, University of Oxford (2011)

    Google Scholar 

  14. Lambek, J.: Compact monoidal categories from linguistics to physics. In: New Structures for Physics. Lecture Notes in Physics, ch. 8. Springer (2011)

    Google Scholar 

  15. Lambek, J.: Deductive systems and categories I: Syntactic calculus and residuated categories. Math. Systems Theory 2, 287–318 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lambek, J.: Deductive systems and categories ii: Standard constructions and closed categories. Lecture Notes in Mathematics, vol. 86. Springer (1969)

    Google Scholar 

  17. Mac Lane, S.: Natural associativity and commutativity. Rice University Studies 49, 28–46 (1963)

    MathSciNet  MATH  Google Scholar 

  18. Mac Lane, S.: Categories for the working mathematician. Springer (1998)

    Google Scholar 

  19. Penrose, R.: Spinors and Space-Time: Two-Spinor Calculus and Relativistic Fields, vol. 1. Cambridge Monographs on Mathematical Physics (1997)

    Google Scholar 

  20. Penrose, R.: The Road to Reality: A Complete Guide to the Laws of the Universe. Vintage Books (2004)

    Google Scholar 

  21. Penrose, R.: Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications, pp. 221–244. Academic Press (1971)

    Google Scholar 

  22. Selinger, P.: A survey of graphical languages for monoidal categories. New Structures for Physics, 275–337 (2009)

    Google Scholar 

  23. Shum, M.: Tortile tensor categories. Journal of Pure and Applied Algebra 93(1), 57–110 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  24. Turaev, V.G.: Quantum invariants of knots and 3-manifolds. de Gruyter Studies in Mathematics, vol. 18. Walter de Gruyter (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oxford, UK

    Aleks Kissinger

Authors
  1. Aleks Kissinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophy, Education and Quantitative Economics, Gabriele D’Annunzio University, Chieti-Pescara, Via dei Vestini 31, 60100, Chieti, Italy

    Claudia Casadio

  2. Department of Computer Science, Oxford University, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Bob Coecke

  3. Utrecht Institute of Linguistics OTS, Utrecht University, Trans 10,, 3512 JK, Utrecht, The Netherlands

    Michael Moortgat

  4. Department of Mathematics, University of Ottawa, 585 King Edward, K1N 6N5, Ottawa, ON, Canada

    Philip Scott

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kissinger, A. (2014). Abstract Tensor Systems as Monoidal Categories. In: Casadio, C., Coecke, B., Moortgat, M., Scott, P. (eds) Categories and Types in Logic, Language, and Physics. Lecture Notes in Computer Science, vol 8222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54789-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54789-8_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54788-1

  • Online ISBN: 978-3-642-54789-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation