From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4473 Path: news.gmane.org!not-for-mail From: "Stephen Lack" Newsgroups: gmane.science.mathematics.categories Subject: RE: Set as a monoidal category Date: Wed, 13 Aug 2008 11:36:34 +1000 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019968 13470 80.91.229.2 (29 Apr 2009 15:46:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:46:08 +0000 (UTC) To: "Categories List" Original-X-From: rrosebru@mta.ca Wed Aug 13 10:19:07 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 13 Aug 2008 10:19:07 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KTGEJ-0001gU-IS for categories-list@mta.ca; Wed, 13 Aug 2008 10:17:35 -0300 Content-class: urn:content-classes:message Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 8 Original-Lines: 46 Xref: news.gmane.org gmane.science.mathematics.categories:4473 Archived-At: Dear Peter, There's a paper=20 Algebraic categories with few monoidal biclosed structures or none of Foltz, Lair, and Kelly which studies monoidal closed structures on = various categories, and shows that the cartesian closed one is the only = possibility for Set. More generally, it shows that for many categories we know well, the only = possible monoidal closed structures are the ones we know well. But this depends heavily on the closedness. Without that, as you say, = one can use the cocartesian monoidal structure (the coproduct).=20 Here's a further infinite family of monoidal structures on Set. Let A be = any set. Then=20 define the tensor product * by X*Y=3DAXY+X+Y. Steve. -----Original Message----- From: cat-dist@mta.ca on behalf of Peter Selinger Sent: Wed 8/13/2008 10:23 AM To: Categories List Subject: categories: Set as a monoidal category =20 Dear Categoreans, I know three monoidal structures on the category of sets, all of them symmetric. Two are the product and coproduct, and I'll leave it to your imagination to figure out the third one. My question is: are these the only three? Proofs, counterexamples, or references appreciated. Thanks, -- Peter