From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9206 Path: news.gmane.org!.POSTED!not-for-mail From: Aleks Kissinger Newsgroups: gmane.science.mathematics.categories Subject: Re: History of string diagrams Date: Wed, 3 May 2017 17:19:34 +0200 Message-ID: References: Reply-To: Aleks Kissinger NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1493944138 24005 195.159.176.226 (5 May 2017 00:28:58 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 5 May 2017 00:28:58 +0000 (UTC) Cc: "categories@mta.ca" To: Pawel Sobocinski Original-X-From: majordomo@mlist.mta.ca Fri May 05 02:28:52 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1d6R73-000668-HD for gsmc-categories@m.gmane.org; Fri, 05 May 2017 02:28:49 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51240) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1d6R6d-0008Gc-D2; Thu, 04 May 2017 21:28:23 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1d6R65-00018R-S2 for categories-list@mlist.mta.ca; Thu, 04 May 2017 21:27:49 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9206 Archived-At: A short note: 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 "Spinsors 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." Best, Aleks On 2 May 2017 at 16:50, Pawel Sobocinski wrote: > Dear Categorists, > > I would like to ask for comments about the history of string diagrams as > graphical notation for the arrows of higher and monoidal categories. For > the sake of precision, I mean the (various kinds of) graphical notation > where there is a "dimension flip", i.e. given a (weak) n-category, the > n-cells are drawn as points (0-dimension), the n-1 cells as lines > (1-dimension) etc. This includes, as a special case, string diagrams as > notation for the arrows of symmetric monoidal categories (Joyal and > Street), which have found a number of applications (quantum mechanics, > computer science, engineering, linguistics, ...) in recent years. We now > also have impressive online tools, such as Jamie Vicary's Globular, that > allow both type-setting and computing with string diagrams. > > It seems to me that there aren't very many historical notes available: > Peter Selinger's "A survey of graphical languages for monoidal categories= " > is a nice survey but it's quite terse on the historical aspects. In the > historical notes that I've come across, string diagrams are often mention= ed > in the same breath with Penrose tensor diagrams, Feynman diagrams, and > proof nets, but while there are of course similarities, there are also > clear differences owing to the categorical nature of string diagrams; for > example, string diagrams are usually quite strictly "typed" with domain a= nd > codomain determined by dangling wires in the case of monoidal categories > (or, in higher dimensions, surfaces). > > I'm interested in the history of the use of the notation, as well as the > surrounding "sociological" aspects. Through overheard gossip, I believe > that the notation was a quasi-secret "house style" in some groups, used f= or > calculations, but carefully exided from formal publications. But maybe th= is > is a bit overblown, and the printing technology simply wasn't there? Or > were there particularly conservative editors who were not comfortable wit= h > publishing diagrammatic calculations? > > In any case, it seems strange that we have had to wait until the 1990s fo= r > this notation to actually start making it into papers. 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". From personal experience, > some papers become much more readable after being redrawn into almost com= ic > books: Carboni and Walters' 1987 "Cartesian bicategories I" comes to mind= . > > I'm reminded of quote by E.J. Aiton from his biography of Leibniz (which = I > came across in Peter Gabriel's Matrices, g=C3=A9om=C3=A9trie, alg=C3=A8br= e lin=C3=A9aire): > > "Owing to the reluctance of printers to accept books on mathematics, > because of the difficulties of type-setting and the small number of > potential readers, the statement of results in letters, especially when > these were registered in the Royal Society or the Paris Academy, provided= a > means of establishing a claim to invention, rending possible publication = at > a later date. The most precious possessions of a mathematician were, of > course, the original methods by which new results could be obtained. Whil= e > communicating results, in order to establish his possession of a general > method, to which he might refer in impenetrably opaque terms, he took pai= ns > to eliminate any dues that would enable his correspondent to guess the > method..." > > I'd appreciate any comments -- both personal and more summative. I'll be > happy to compile any information sent to me personally, or to the list, a= nd > make it available online. I'm especially interested in: > > * Who came up with the notation? When was it first used? Was it > rediscovered independently by several groups? > * Was there an effort to keep it a "house secret"? > * Was there any institutional resistance to the use/publishing of string > diagrams? > > Finally, I'd like to take the opportunity to advertise the 1st Workshop o= n > String Diagrams in Computation, Logic, and Physics, which I'm organising > with Aleks Kissinger, and which will take place at the Jericho Tavern in > Oxford, September 8-9, 2017. More information is available at > http://string2017.cs.ru.nl, and we will soon send out a formal call for > papers. > > Best wishes, > Pawel. > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]