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/ ]