Re: are fibrations evil?

["Eduardo J. Dubuc" <edubuc@dm.uba.ar>]

I completely agree with Andre.

I add:

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.

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 !!!.
In the practice of category theory or mathematics, its use is not 
frequent enough to justify the introduction of new (simpler) 
terminology. What happens with readers which see "x" and do not belong 
to our group ?.
Well, most will be upset , and specially if "x is evil" (ja !).

Joyal wrote:
> Dear John,
> 
> A property is "evil" in your sense if it is
> not invariant under equivalences.
> Invariance under equivalence is a well
> established mathematical notion.
> I prefer to say that something is not
> invariant under equivalence than to say
> that it is "evil". There is no need to
> introduce a new terminology.
> 
> Best,
> André 
> 

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]