Abstract
This is largely an expository paper, revisiting some ideas about compact 2-categories, in which each 1-cell has both a left and a right adjoint. In the special case with only one 0-cell (where the 1-cells are usually called “objects”) we obtain a compact strictly monoidal category. Assuming furthermore that the 2-cells describe a partial order, we obtain a compact partially ordered monoid, which has been called a pregroup. Indeed, a pregroup in which the left and right adjoints coincide is just a partially ordered group (= pogroup).
A brief exposition of recent joint work with Preller and Lambek “Mathematical Structures in Computer Science”, 17, (2007) will be given here, investigating free compact strictly monoidal categories, which may be said to describe computations in pregroups. Free pregroups lend themselves to the study of grammar in natural languages such as English. While one would not expect to find a connection between linguistics and physics, applications of (free) compact symmetric monoidal categories to physics have been made by Coecke “The Logic of Entanglement” (2004), Abramsky and Coecke “Proceedings of 19th IEEE Conference on Logic in Computer Science”, pp. 415–425 (2004), Abramsky and Duncan “Mathematical Structures in Computer Science”, 16, 469–489 (2006), Selinger “Electronic Notes in Theoretical Computer Science”, 170, 139–163 (2007).
Compact symmetric monoidal categories had already been studied by Kelly and Laplaza “Journal of Pure and Applied Algebra”, 19, 193–213 (1980), who called them “compact closed” and by Barr “Lecture Notes in Mathematics”, 752 (1979), “Journal of Pure and Applied Algebra”, 111, 1–20 (1996), “Theoretical Computer Science”, 139, 115–130 (1995), who called them “compact star-autonomous”. I had intended to show that Feynman diagrams for quantum electro-dynamics (QED) could be described by certain compact Barr-autonomous categories, but was disappointed to find that these reduced to a rather degenerate case, that of partially ordered groups (= pogroups). Still, I will reluctantly present an extension of this idea from QED to the Standard Model. Finally, I will briefly review the transition from 2-categories to the bicategories of Bénabou “Lecture Notes in Mathematics” 47, 1–77 (1967), using methods of Bourbaki “Algebre multilineaire” (1948) and Gentzen (see Kleene “Introduction to metamathematics” (1952)), which may also be of interest in physics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols, In: Proceedings of 19th IEEE conference on Logic in Computer Science, pp. 415–425. IEEE Press Washington, DC (2004)
Bénabou, J.: Introduction to bicategories. Lect. Notes Math. 47, 1–77 (1967)
Bilson-Thompson, S.O.: A topological model of composite preons, Preprint 2006. arXiv:hep-ph/0503213
Bilson-Thompson, S.O., Markopoulou, F., Smolin, L.: Quantum Gravity and the Standard Model, Preprint 2006. arXiv:hep-th/0603022
Bourbaki, N.: Algèbre multilinéaire, Hermann, Paris (1948)
Buszkowski, W.: Cut elimination for the Lambek calculus of adjoints. In: Abrusci, V.M. et al. (eds.) Papers in formal linguistics and logic. Bulzoni, Rome (2002)
Doşen, K.: Cut elimination in categories, Kluwer, Dordrecht (1999)
Doşen, K., Petrić, Z.: Proof-net categories, Project 1650. Math. Institute, Belgrade (2005)
Feynman, R.P.: QED: The Strange Theory of Light and Matter. Princeton University Press, Princeton (1985)
Glass, A.: Partially ordered groups, World Scientific, Singapore (1998)
Harari, H.: Phys. Lett. 86B, 83–86 (1979)
Harris, Z.: A cyclic cancellation automaton for sentence well-formedness. Int. Comput. Centre Bull. 5, 69–94 (1966)
Joyal, A., Street, R.: Braided monoidal categories, Macquarrie University Report No. 800081 (1986)
Joyal, A., Street, R.: The geometry of tensor calculus I. Adv. Math. 88, 55–112 (1991)
Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Algebra 19, 193–213 (1980)
Kleene, S.C.: Introduction to metamathematics, Van Nostrand (1952)
Lambek, J.: Lectures on Rings and Modules, pp. 1976. Waltham, Mass (1986)
Lambek, J.: Multicategories revisited. Contem. Math. 92, 217–239 (1989)
Lambek, J.: Logic without structural rules. (Another look at cut elimination). In: Doşen, K. et al, (eds.) Substructural Logic, Studies in Logic and Computation 2, pp. 129–206. Oxford Science Publications, Oxford (1993)
Lambek, J.: Type grammar revisited. In: Lecomte, A. et al. (eds.) Logical Aspects of Computational Linguistics, Springer LNAI 1582, 1–27 (1999)
Lambek, J.: Four-vector representation of fundamental particles. Int. J. Theor. Phys. 39 (2253)–2258 (2000)
Lambek, J.: Bicategories in algebra and linguistics. In: Ehrhard, T. et al. (eds.) Linear Logic in Computer Science. LondonMathematical Society Lecture Note Series 316, pp. 325–245. Cambridge University Press, Cambridge (2004)
Mac Lane S.: Categories for the working mathematician, Springer, New York (1971)
Preller, A., Lambek, J.: Free compact 2-categories. Math. Struct. Comput. Sci. 17, 309–340 (2007)
Selinger, P.: Dagger compact closed categories and completely positive maps. Electron. Notes Theor. Comput. Sci. 170, 139–163 (2007)
Shupe, M.A.: Phys. Lett. 86B, 87–92 (1979)
Troelstra, A.S.: Lectures on linear logic, CSLI Lecture Notes 29, Stanford (1992)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-VerlagBerlin Heidelberg
About this chapter
Cite this chapter
Lambek, J. (2010). Compact Monoidal Categories from Linguistics to Physics. In: Coecke, B. (eds) New Structures for Physics. Lecture Notes in Physics, vol 813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12821-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-12821-9_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12820-2
Online ISBN: 978-3-642-12821-9
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)