From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6402 Path: news.gmane.org!not-for-mail From: "Ellis D. Cooper" Newsgroups: gmane.science.mathematics.categories Subject: Severe Strict Monoidal Category Naivete Date: Sat, 04 Dec 2010 09:00:55 -0500 Message-ID: References: Reply-To: "Ellis D. Cooper" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-Trace: dough.gmane.org 1291507700 32297 80.91.229.12 (5 Dec 2010 00:08:20 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 5 Dec 2010 00:08:20 +0000 (UTC) Cc: categories@mta.ca To: droberts@maths.adelaide.edu.au Original-X-From: majordomo@mlist.mta.ca Sun Dec 05 01:08:15 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PP29F-00006p-0W for gsmc-categories@m.gmane.org; Sun, 05 Dec 2010 01:08:13 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:43282) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PP290-0007wI-5F; Sat, 04 Dec 2010 20:07:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PP28w-0001zr-Mo for categories-list@mlist.mta.ca; Sat, 04 Dec 2010 20:07:54 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6402 Archived-At: Hi David, At 11:50 PM 12/3/2010, you wrote: >to push the chemical reaction analogy further, tensoring with an >identity morphism 1_Y is like having a chemical present that doesn't >take part in the reaction: it's there are the beginning and end, but >doesn't change. But you can't take it away (and no, it's not like a >catalyst, in that your original arrow f was there to begin with). I agree completely. All I am saying is that since there is no effect on the reaction by the presence of a neutral chemical, it might just as well not be mentioned. Perhaps what I am getting at is a quotient category in which X@Y->Z@Y is identified with X->Z in this specific situation. I do believe this is how chemists think of their applications of Hess' Law, which is what my inquiry is really all about. Ellis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]