From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4567 Path: news.gmane.org!not-for-mail From: Jeff Egger Newsgroups: gmane.science.mathematics.categories Subject: Another terminological question... Date: Fri, 12 Sep 2008 02:56:31 -0700 (PDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241020032 13887 80.91.229.2 (29 Apr 2009 15:47:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:12 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Sep 12 11:45:20 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 12 Sep 2008 11:45:20 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Ke9oX-0005gn-I0 for categories-list@mta.ca; Fri, 12 Sep 2008 11:40:01 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 37 Original-Lines: 51 Xref: news.gmane.org gmane.science.mathematics.categories:4567 Archived-At: Dear all, In ``basic concepts of enriched category theory'', Kelly writes: > Since the cone-type limits have no special position of > dominancein the general case, we go so far as to call > weighted limits simply ``limits'', where confusion > seems unlikely. My question is this: why does he not apply the same principle to the concept of powers? Instead, he introduces the word ``cotensor'', apparently in order to reserve the word ``power'' for that special case which could sensibly be called ``discrete power''. [This leads to the unfortunate scenario that a ``cotensor'' is a sort of limit, while dually a ``tensor'' is a sort of colimit.] Is there perhaps some genuinely mathematical objection to calling cotensors powers (and tensors copowers) which I may have overlooked? Cheers, Jeff. P.S. I specify ``genuinely mathematical'' because I know that some people are opposed to any change of terminology for any reason whatsoever. Obviously, I disagree; in particular, I don't see that minor terminological schisms such as monad/triple (even compact/rigid/autonomous) are in any way detrimental to the subject. I also disagree with the notion (symptomatic of the curiously feudal mentality which seems to permeate the mathematical community) that prestigious mathematicians have more right to set terminology than the rest of us. I see no correlation between mathematical talent and good terminology; nor do I understand that a great mathematician can be ``dishonoured'' by anything less than strict adherence to their terminology---or notation, for that matter. __________________________________________________________________ Looking for the perfect gift? Give the gift of Flickr! http://www.flickr.com/gift/