From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3649 Path: news.gmane.org!not-for-mail From: Robert Seely Newsgroups: gmane.science.mathematics.categories Subject: Re: terminology: dagger and involution Date: Fri, 2 Mar 2007 16:53:58 -0500 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019433 9628 80.91.229.2 (29 Apr 2009 15:37:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:37:13 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Sat Mar 3 14:25:59 2007 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 03 Mar 2007 14:25:59 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HNYk8-0006Xe-B3 for categories-list@mta.ca; Sat, 03 Mar 2007 14:14:04 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 34 Xref: news.gmane.org gmane.science.mathematics.categories:3649 Archived-At: On Thu, 1 Mar 2007, John Baez wrote: > I hope this is clear: "dagger-categories" are completely different > from "compact closed categories". We need *some* term for them; > we're just arguing about whether to call them "star-categories", > "dagger-categories", or "categories with involution". I like > "star-categories", because in analysis and quantum topology the > special case of "C*-categories" is very important. But, I doubt > we'll reach any sort of agreement! You are completely right, of course - but one thing was clear from the start: naming a structure from the notation used is rarely a smart move; instead one should try to capture the essence of the structure in the name. (For that reason, "star-categories" isn't a whole lot better than "dagger-categories", though admittedly, it's hard to think of a worse name! However, "star-categories" is likely to make folks think "dagger = star", and that would be unhelpful. That is probably partially why getting a good name was tricky - after all, "dagger- categories" sounds like the act of a desparate person failing to come up with a good name.) But by now, too many folks are probably unwilling to change (and there isn't really an obvious better name anyway), and their collegues and students will probably follow suit, making a name revision even less likely. Pity though ... -= rags =- --