From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6203 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: are fibrations evil? Date: Tue, 21 Sep 2010 19:52:45 -0700 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1285330837 325 80.91.229.12 (24 Sep 2010 12:20:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 24 Sep 2010 12:20:37 +0000 (UTC) Cc: "Eduardo J. Dubuc" To: categories Original-X-From: majordomo@mlist.mta.ca Fri Sep 24 14:20:36 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Oz7GW-000809-JJ for gsmc-categories@m.gmane.org; Fri, 24 Sep 2010 14:20:36 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56419) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Oz7FG-0005PT-3I; Fri, 24 Sep 2010 09:19:18 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Oz7FB-0001eq-2I for categories-list@mlist.mta.ca; Fri, 24 Sep 2010 09:19:13 -0300 Content-Disposition: inline In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6203 Archived-At: Eduardo J. Dubuc wrote: >Furthermore, the introduction of new terminology (specially if this >terminology refers directly to a meaning in everyday life) with no real >need and/or to change established terminology, is an habit that harm the >credibility of any school of research. Shall we stop saying "natural" and say "invariant under composition"? Or is that term allowed under the grandfather clause, since it was being used imprecisely before category theory defined it? If I can find a citation where John Baez used the term "evil" before he knew how to define it, will that make it OK? Or is that irrelevant because John was already working in the ghetto? >In the present case we are discussing a particular single word "x" to >replace the compound "not invariant under equivalence". This seems >justified by its frequent use, but its frequent use is due precisely >because we are discussing its use !!!. As a proud citizen of the Ghetto of Category Land, I've used that term in other contexts than this discussion. If you do not wish to join us, what does that matter? You may continue to write down strict definitions, and we will continue to weaken them as we need. Different styles of mathematics are not at war. I understand that "evil" is grating; other terms have been suggested. But no, *any* short term to replace "not invariant under equivalence" is forbidden by your decree: it relegates us to the ghetto. Well, that is your interpretation, but it doesn't affect my mathematics. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]