From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7871 Path: news.gmane.org!not-for-mail From: "Harley D. Eades III" Newsgroups: gmane.science.mathematics.categories Subject: Question about proof nets Date: Tue, 24 Sep 2013 13:13:09 -0500 Message-ID: Reply-To: "Harley D. Eades III" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1380135953 11428 80.91.229.3 (25 Sep 2013 19:05:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 25 Sep 2013 19:05:53 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Sep 25 21:05:57 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VOuPL-0001SM-8c for gsmc-categories@m.gmane.org; Wed, 25 Sep 2013 21:05:55 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:39127) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VOuNb-0003MB-DY; Wed, 25 Sep 2013 16:04:07 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VOuNa-0003GX-Tu for categories-list@mlist.mta.ca; Wed, 25 Sep 2013 16:04:06 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7871 Archived-At: Hi, everyone. I am currently trying to understand (tensor, cotensor)-circuits from R. F. Blute, J. Cockett, R. Seely, and T. H. Trimble. Natural deduction = and coherence for weakly distributive categories. Journal of Pure and = Applied Algebra, 113(3):229=96296, 1996. I am wondering if anyone can tell me what the significance of the half = circle under the tensor in the circuit for tensor elimination? Unfortunately, I cannot draw the circuit here. It is however on page 9 = of the above paper. At first I thought it was indicating symmetry, but this doesn't make = sense. Any help would be greatly appreciated. .\ Harley [For admin and other information see: http://www.mta.ca/~cat-dist/ ]