category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
String diagrams constitute a graphical calculus for expressing operations in monoidal categories.
In the archetypical cases of the Cartesian monoidal category of finite sets this is Hotz’s notation (Hotz 65) for automata, while for finite-dimensional vector spaces with their usual tensor product this is Penrose’s notation (Penrose 71a, Penrose-Rindler 84) for tensor networks; but the same idea immediately applies more generally to any other monoidal category and yet more generally to bicategories, etc.
The idea is roughly to think of objects in a monoidal category as “strings” and of morphisms from one tensor product to another as a node which the source strings enter and the target strings exit. Further structure on the monoidal category is encoded in geometrical properties on these strings.
For instance:
putting strings next to each other denotes the monoidal product, and having no string at all denotes the tensor unit;
braiding strings over each other corresponds to – yes, the monoidal braiding (if any);
bending strings around corresponds to dualities on dualizable objects (if any).
Many operations in monoidal categories that look unenlightening in symbols become obvious in string diagram calculus, such as the trace: an output wire gets bent around and connects to an input.
String diagrams may be seen as dual (in the sense of Poincaré duality) to commutative diagrams. For instance, in a 2-category, an example of a string diagram for a 2-morphism (shown on the left) is shown on the right here:
String diagrams for monoidal categories can be obtained in the same way, by considering a monoidal category as a 2-category with a single object.
There are many additional extra structures on monoidal categories, or similar structures, which can usually be represented by encoding further geometric properties of their string diagram calculus For instance:
in monoidal categories which are ribbon categories the strings from above behave as if they have a small transversal extension which makes them behave as ribbons. Accordingly, there is a twist operation in the axioms of a ribbon category and graphically it corresponds to twisting the ribbons by 360 degrees.
in a traced monoidal category, the trace can be represented by bending an output string around to connect to an input, even though if the objects are not dualizable the individual “bends” do not represent anything.
in monoidal categories which are spherical all strings behave as if drawn on a sphere.
in a hypergraph category, the string diagrams are labeled hypergraphs.
string diagrams can be extended to represent monoidal functors in several ways. One nice way is described in these slides, and can also be done with “3D regions” as drawn here.
there is also a string diagram calculus for bicategories, which extends that for monoidal categories regarded as one-object bicategories. Thus, the strings now represent 1-cells and the nodes 2-cells, leaving the two-dimensional planar regions cut out by the strings to represent the 0-cells. This makes it manifest that in general, string diagram notation is Poincaré dual to the globular notation: where one uses $d$-dimensional symbols, the other uses $(2-d)$-dimensional symbols.
string diagrams for bicategories can be generalized to string diagrams for double categories and proarrow equipments by distinguishing between “vertical” and “horizontal” strings.
Similarly, one can categorify this to “surface diagrams” for 3-categories (including monoidal bicategories) and so on; see for instance here.
As explained here, in the presence of certain levels of duality it may be better to work with diagrams on cylinders or spheres rather than in boxes. This relates to planar algebras and canopolises?.
A string diagram calculus for monoidal fibrations can be obtained as a generalization of C.S. Peirce’s “existential graphs.” The ideas are essentially contained in (Brady-Trimble 98) and developed in (Ponto-Shulman 12), and was discussed here.
String diagrams for closed monoidal categories (see also at Kelly-Mac Lane graph) are similar to those for autonomous categories, but a bit subtler, involving “boxes” to separate parts of the diagram. They were used informally by Baez and Stay here and here, but can also be done in essentially the same way as the proof nets used in intuitionistic linear logic; see Lamarche.
Proof nets for multiplicative linear logic with negation similarly give string diagrams for *-autonomous categories, or more generally linearly distributive categories; see Blute-Cockett-Seely-Trimble.
Proof surfaces for noncommutative multiplicative linear logic with negation, see Dunn-Vicary
Sheet diagrams, string diagrams drawn on a branching surface, may be used for rig categories, see Comfort-Delpeuch-Hedges.
See also Selinger 09 for a review of different string diagram formalisms.
String diagram calculus in linear algebra:
String diagrams in finite-dimensional vector spaces with the usual tensor product are Penrose’s notation (Penrose 71a, 71b, 72, Penrose-Rindler 84, Append.) for working with tensors.
More recently, string diagrams in this category have come to be known as tensor networks, especially so in application to condensed matter physics and also in quantum computation and in particular in quantum error correction.
String diagram calculus in representation theory: Mandula 81, Cvitanović 08
For string diagrams calculus in Lie theory see at:
For applications of string diagram calculus in perturbative quantum field theory, see at
(…)
Discussion in representation theory:
Jeffrey Ellis Mandula, Diagrammatic techniques in group theory, Southampton Univ. Phys. Dept. (1981) (cds:129911, pdf)
Predrag Cvitanović, Group Theory: Birdtracks, Lie’s, and Exceptional Groups, Princeton University Press July 2008 (PUP, birdtracks.eu, pdf)
(aimed at Lie theory and gauge theory)
Introductions to and surveys of string diagram calculus:
Peter Selinger, A survey of graphical languages for monoidal categories, in: Bob Coecke (ed.) New Structures for Physics, Lecture Notes in Physics, vol 813. Springer, Berlin, Heidelberg (2010) (arXiv:0908.334, doi:10.1007/978-3-642-12821-9_4)
John Baez, QG Seminar Fall 2000 (web), Winter 2001 (web), Fall 2006 (web).
John Baez, Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone (arXiv:0903.0340)
Aleks Kissinger, Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing (arXiv:1203.0202)
Simon Willerton, String diagrams (YouTube)
Ross Street, Low dimensional topology and higher-order categories (ps)
(about surface diagrams)
Ross Street, Categorical structures, in: M. Hazewinkel (ed.), Handbook of algebra – Volume 1, Elsevier 1996 (pdf, 978-0-444-82212-3)
(in the generality of bicategories)
From the point of view of finite quantum mechanics in terms of dagger-compact categories:
Bob Coecke, Quantum Picturalism (arXiv:0908.1787)
Bob Coecke, Introducing categories to the practicing physicist (arXiv:0808.1032)
Bob Coecke, Categories for the practising physicist (arXiv:0905.3010)
Bob Coecke, Ross Duncan, Interacting Quantum Observables: Categorical Algebra and Diagrammatics, New J. Phys. 13 (2011) 043016 (arXiv:0906.4725)
Chris Heunen, Jamie Vicary, Lectures on categorical quantum mechanics, 2012 (pdf)
From the point of view of tensor networks in solid state physics:
Jacob Biamonte, Ville Bergholm, Tensor Networks in a Nutshell, Contemporary Physics (arxiv:1708.00006)
Jacob Biamonte, Lectures on Quantum Tensor Networks (arXiv:1912.10049)
Some philosophical discussion is given in
The development and use of string diagram calculus pre-dates its graphical appearance in print, due to the difficulty of printing non-text elements at the time.
Many calculations in earlier works were quite clearly worked out with string diagrams, then painstakingly copied into equations. Sometimes, clearly graphical structures were described in some detail without actually being drawn: e.g. the construction of free compact closed categories in Kelly and Laplazas 1980 “Coherence for compact closed categories”.
(Pawel Sobocinski, 2 May 2017)
This idea that string diagrams are, due to technical issues, only useful for private calculation, is said explicitly by Penrose. Penrose and Rindler’s book “Spinors and Spacetime” (CUP 1984) has an 11-page appendix full of all sorts of beautiful, carefully hand-drawn graphical notation for tensors and various operations on them (e.g. anti-symmetrization and covariant derivative). On the second page, he says the following:
“The notation has been found very useful in practice as it grealy simplifies the appearance of complicated tensor or spinor equations, the various interrelations expressed being discernable at a glance. Unfortunately the notation seems to be of value mainly for private calculations because it cannot be printed in the normal way.”
The first formal definition of string diagrams in the literature appears to be in
Application of string diagrams to tensor-calculus in mathematical physics (hence for the case that the ambient monoidal category is that of finite dimensional vector spaces equipped with the tensor product of vector spaces) was propagated by Roger Penrose, whence physicists know string diagrams as Penrose notation for tensor calculus:
Roger Penrose, Applications of negative dimensional tensors, Combinatorial Mathematics and its Applications, Academic Press (1971) (pdf, pdf)
Roger Penrose, Angular momentum: An approach to combinatorial spacetime, in Ted Bastin (ed.) Quantum Theory and Beyond, Cambridge University Press (1971), pp.151-180 (pdf)
Roger Penrose, On the nature of quantum geometry, in: J. Klauder (ed.) Magic Without Magic, Freeman, San Francisco, 1972, pp. 333–354 (spire:74082, pdf)
Roger Penrose, Wolfgang Rindler, appendix (p. 424-434) of: Spinors and space-time – Volume 1: Two-spinor calculus and relativistic fields, Cambridge University Press 1984 (doi:10.1017/CBO9780511564048)
See also
From the point of view of monoidal category theory, an early description of string diagram calculus (without actually depicting any string diagrams, see the above comments) is in:
Max Kelly, M. L. Laplaza, Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193–213, 1980 (doi:10.1016/0022-4049(80)90101-2, pdf)
(proving the coherence for compact closed categories)
following
Max Kelly, Many-variable functorial calculus I, in: Max Kelly, M. Laplaza , L. Gaunce Lewis, Jr., Saunders Mac Lane (eds.) Coherence in Categories, Lecture Notes in Mathematics, vol 281. Springer, Berlin, Heidelberg 1972 (doi:10.1007/BFb0059556)
(which does include the hand-drawn diagrams that are missing in Kelly-Laplaza 80!)
and in
André Joyal, Ross Street, The geometry of tensor calculus I, Advances in Math. 88 (1991) 55-112; MR92d:18011 (pdf, doi:10.1016/0001-8708(91)90003-P)
André Joyal and Ross Street, The geometry of tensor calculus II (pdf)
String diagram calculus was apparently popularized by its use in
Louis Kauffman, Knots and physics, Series on Knots and Everything, Volume 1, World Scientific, 1991 (doi:10.1142/1116)
(in the context of knot theory)
Probably David Yetter was the first (at least in public) to write string diagrams with “coupons” (a term used by Nicolai Reshetikhin and Turaev a few months later) to represent maps which are not inherent in the (braided or symmetric compact closed) monoidal structure.
See also these:
Peter Freyd, David Yetter, Braided compact closed categories with applications to low dimensional topology Advances in Mathematics, 77:156–182, 1989.
Peter Freyd and David Yetter, Coherence theorems via knot theory. Journal of Pure and Applied Algebra, 78:49–76, 1992.
David Yetter, Framed tangles and a theorem of Deligne on braided deformations of tannakian categories In M. Gerstenhaber and Jim Stasheff (eds.) Deformation Theory and Quantum Groups with Applications to Mathematical Physics, Contemporary Mathematics 134, pages 325–349. Americal Mathematical Society, 1992.
Paul-André Melliès, Functorial boxes in string diagrams, Procceding of Computer Science Logic 2006 in Szeged, Hungary. 2006 (hal:00154243, pdf, pdf)
(see also computational trilogy)
For more on the history of the notion see the bibliography in (Selinger 09).
String diagrams for monoidal categories are discussed in:
Andre Joyal and Ross Street, The geometry of tensor calculus I, Advances in Math. 88 (1991) 55-112; MR92d:18011. (pdf)
Andre Joyal and Ross Street, The geometry of tensor calculus II. (pdf.
Andre Joyal and Ross Street, Planar diagrams and tensor algebra, available here.
For 1-categories in
Dan Marsden, Category Theory Using String Diagrams, (arXiv:1401.7220).
(therein: many explicit calculations, colored illustrations, avoiding the common practice of indicating 0-cells by non-filled circles)
For traced monoidal categories in
Andre Joyal, Ross Street and Verity, Traced monoidal categories.
David I. Spivak, Patrick Schultz, Dylan Rupel, String diagrams for traced and compact categories are oriented 1-cobordisms, arxiv
For closed monoidal categories in
John Baez and Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, arxiv
Francois Lamarche, Proof Nets for Intuitionistic Linear Logic: Essential nets, 2008 pdf
For biclosed monoidal categories in
For linearly distributive categories in
For indexed monoidal categories in
Geraldine Brady, Todd Trimble, A string diagram calculus for predicate logic (1998)
Kate Ponto, Michael Shulman, Duality and traces for indexed monoidal categories, Theory and Applications of Categories, Vol. 26, 2012, No. 23, pp 582-659 (arXiv:1211.1555)
For symmetric traced monoidal categories in
The generalization of string diagrams to one dimension higher is discussed in
John Barrett, Catherine Meusburger, Gregor Schaumann, Gray categories with duals and their diagrams, available here.
The generalization to arbitrary dimension in terms of opetopic “zoom complexes” is due to
Discussion for double categories and pro-arrow equipments is in
See also at opetopic type theory.
Discussion of sheet diagrams for rig categories is in
The higher dimensional string diagrams (“zoom complexes” (Kock-Joyal-Batanin-Mascari 07)) used for presenting opetopes in the context of opetopic type theory are introduced in
Eric Finster, Opetopic Diagrams 1 - Basics (video)
Eric Finster, Opetopic Diagrams 2 - Geometry (video)
Globular is a web-based proof assistant for finitely-presented semistrict globular higher categories. It allows one to formalize higher-categorical proofs in finitely-presented n-categories and visualize them as string diagrams.