From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5511 Path: news.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: Re: A challenge to all Date: Tue, 12 Jan 2010 10:25:49 +0000 Message-ID: References: Reply-To: Steve Vickers NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1263382426 27283 80.91.229.12 (13 Jan 2010 11:33:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 13 Jan 2010 11:33:46 +0000 (UTC) To: =?ISO-8859-1?Q?Joyal_Andr=E9?= , categories@mta.ca Original-X-From: categories@mta.ca Wed Jan 13 12:33:38 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NV1Tm-00048V-CQ for gsmc-categories@m.gmane.org; Wed, 13 Jan 2010 12:33:38 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NV11s-0003Xl-8i for categories-list@mta.ca; Wed, 13 Jan 2010 07:04:48 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5511 Archived-At: Dear Andre, How would you deal with composition? The standard account of composability - defined by equality between a domain and a codomain - does seem to presuppose a notion of object equality. Normally for categories internal in C one therefore takes C to have pullbacks. Are there obvious ways to generalize that to monoidal C? Or are you thinking you might want to relax that standard account, perhaps even losing the well defined domain and codomain? I'm getting a picture of things like "categories" of smooth curves, where two curves are composable only if the end of one has an open overlap with the start of the other. But then "objects" are more nebulous. Regards, Steve Vickers. Joyal wrote: > ... > I cannot imagine a category without an equality relation between the objects. > ... > > I would like to propose a test for verifying if the > notion of category can be freed from the equality relation > on its set of objects. The equality relation on a set S is > defined by the diagonal map S-->S times S. > The diagonal gives a set the structure of a cocommutative coalgebra, > where the tensor product is the cartesian product. > The objects of a general symmetric monoidal category have no > coalgebra structure in general. > > The test: Is it possible to define a notion of category internal to > a symmetric monoidal category without using a coalgebra structure > on the object of objects? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]