From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6101 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: Re: String diagrams, adjunction and autonomous categories. Date: Sat, 4 Sep 2010 02:38:29 +0100 (BST) Message-ID: References: Reply-To: Dusko Pavlovic NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1283608278 16837 80.91.229.12 (4 Sep 2010 13:51:18 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 4 Sep 2010 13:51:18 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Sat Sep 04 15:51:16 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Ort9G-0002kT-GN for gsmc-categories@m.gmane.org; Sat, 04 Sep 2010 15:51:14 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48424) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Ort86-0004Mh-2j; Sat, 04 Sep 2010 10:50:02 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Ort80-000892-Te for categories-list@mlist.mta.ca; Sat, 04 Sep 2010 10:49:57 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6101 Archived-At: On Thu, 2 Sep 2010, Michael Shulman wrote: > On the other hand, am I right that you (John) have also written about > string diagrams in closed (non-autonomous) monoidal categories? Those > are a bit subtler, and I don't recall them in the work of Joyal and > Street (am I wrong?). 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. maybe i am projecting back. or maybe category theory has grown so old that some things are easier to reconstruct than to remember :) -- dusko [For admin and other information see: http://www.mta.ca/~cat-dist/ ]