From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6071 Path: news.gmane.org!not-for-mail From: David Leduc Newsgroups: gmane.science.mathematics.categories Subject: String diagrams, adjunction and autonomous categories. Date: Sun, 29 Aug 2010 05:48:18 +0000 Message-ID: Reply-To: David Leduc NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1283129554 30896 80.91.229.12 (30 Aug 2010 00:52:34 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 30 Aug 2010 00:52:34 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Aug 30 02:52:32 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 1Opsbw-0004mb-BK for gsmc-categories@m.gmane.org; Mon, 30 Aug 2010 02:52:32 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:44022) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Opsaw-0000Ls-OT; Sun, 29 Aug 2010 21:51:30 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Opsas-00015K-Qf for categories-list@mlist.mta.ca; Sun, 29 Aug 2010 21:51:26 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6071 Archived-At: As shown by Baez, in an autonomous category the isomorphism hom(A (X) B, C) = hom (B, A -o C), when drawn as a string diagram, is like the bending of the input wire A to make it an output. Now one can also draw string diagrams to represent the zigzag equations between the adjoint pair of functors _ (X) B and B -o _. How does the latter diagram relate to the former one? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]