From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6108 Path: news.gmane.org!not-for-mail From: jim stasheff Newsgroups: gmane.science.mathematics.categories Subject: Re: String diagrams, adjunction and autonomous categories. Date: Sat, 04 Sep 2010 12:44:37 -0400 Message-ID: References: Reply-To: jim stasheff NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1283646092 18753 80.91.229.12 (5 Sep 2010 00:21:32 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 5 Sep 2010 00:21:32 +0000 (UTC) To: Dusko Pavlovic , categories Original-X-From: majordomo@mlist.mta.ca Sun Sep 05 02:21:31 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Os2zC-0002Da-LN for gsmc-categories@m.gmane.org; Sun, 05 Sep 2010 02:21:30 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42870) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Os2y5-0001FS-RT; Sat, 04 Sep 2010 21:20:21 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Os2y0-0006f1-Eq for categories-list@mlist.mta.ca; Sat, 04 Sep 2010 21:20:16 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6108 Archived-At: On 9/3/10 9:38 PM, Dusko Pavlovic > speaking of coherence in closed categories, i was always under the > impression that kelly and maclane, while writing their 1971 JPAA paper, > and the later one (1979?) secretly drew string diagrams on the side, and > then translated them into categorical diagrams. at least for > counterexamples, this works. and in the kelly-laplaza paper about > compact/autonomous categories: the free construction is expressed in > terms > of strings, but i guess at the time it was easier to describe them in > words, than to wait for the publisher to typeset your stings for you. In the earlier 60s, it wasn't conceivable to include even tree diagrams in anything to be published hence my inidicial approach to the formulas for A_\infty structures jim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]