From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3270 Path: news.gmane.org!not-for-mail From: Robin Houston Newsgroups: gmane.science.mathematics.categories Subject: Re: Products in a compact closed category Date: Thu, 27 Apr 2006 18:19:16 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241019195 7996 80.91.229.2 (29 Apr 2009 15:33:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:33:15 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Apr 27 14:49:37 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 27 Apr 2006 14:49:37 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1FZAQH-000151-B7 for categories-list@mta.ca; Thu, 27 Apr 2006 14:37:01 -0300 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 68 Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:3270 Archived-At: On Thu, Mar 23, 2006 at 12:17:05PM +0000, Robin Houston wrote: > I recently proved that [finite] products (or coproducts) in a compact > closed category are necessarily biproducts, and I'm wondering whether > this is a known theorem. Since a couple of you have been asking about this, I thought I should post a quick followup message. I had several private replies, almost all of them asking to see the proof. None of my respondents knew of an existing proof. A preliminary paper, describing the proof, in far more detail than most of the people on this list would need, is available from http://www.arxiv.org/abs/math.CT/0604542 (If any of you have any comments on it, I'd be interested in hearing them.) Yours, Robin