From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5854 Path: news.gmane.org!not-for-mail From: "Reinhard Boerger" Newsgroups: gmane.science.mathematics.categories Subject: Re: terminology Date: Wed, 26 May 2010 10:03:27 +0200 Message-ID: References: Reply-To: "Reinhard Boerger" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1274967876 31095 80.91.229.12 (27 May 2010 13:44:36 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 27 May 2010 13:44:36 +0000 (UTC) Cc: To: "'Colin McLarty'" Original-X-From: categories@mta.ca Thu May 27 15:44:34 2010 connect(): No such file or directory 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.69) (envelope-from ) id 1OHdNt-000055-CN for gsmc-categories@m.gmane.org; Thu, 27 May 2010 15:44:29 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OHd9X-0005z0-Hk for categories-list@mta.ca; Thu, 27 May 2010 10:29:39 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5854 Archived-At: Dear Colin, dear all, you wrote: > It is an interesting impulse in higher category theory to avoid > identity in favor of isomorphism on the level of objects, and to avoid > isomorphism in favor of equivalence on the level of categories. But > so far as I know no one has yet articulated a way to avoid ever using > identity of objects and identity of categories. As far as I remember I listened to a talk by a logician called H. = Preller in the seventies. She developed a language for categories, which did not contain the identity of objects. Greetings Reinhard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]