categories - Category Theory list
 help / color / mirror / Atom feed
* subculture
@ 2010-09-24 15:44 Eduardo J. Dubuc
  2010-09-25  0:38 ` subculture Ruadhai
                   ` (3 more replies)
  0 siblings, 4 replies; 20+ messages in thread
From: Eduardo J. Dubuc @ 2010-09-24 15:44 UTC (permalink / raw)
  To: Categories list

As evident from the subject, this personal answer to Toby Bartels is intended
to have general incumbency.

Dear Toby, thanks for this msage, i will try to explain:

Toby Bartels wrote:
  > Eduardo J. Dubuc wrote at first:
  >
  >> Dear Toby, your choice of example is very unfortunate. Mac Lane wrote that
category theory was invented to define functor, and that functor was invented
to define "natural" transformation.
  >
  > Yes, I know; that was quite deliberate.

Well, I said "unfortunate" for those that are in favor of introducing the name
"evil" (or any other name) as a definition of "not invariant under equivalence".
You see, this is because to introduce a name the property has to be important
enough and of frequent use. To sustain your case you should have given
examples of properties (or concepts) which not being very important and of
frequent use, have nevertheless an universally accepted proper name.

  > but beyond that I have no idea what upsets you,
  > and I'm not going to worry about it any more.

I appreciate that you had worried at some point, and I am glad you do not
worry any more.

I try to explain why I sounded upset with you in my last mail because it has a
general interest concerning the question of whether  we are a subculture or
part of the mainstream of mathematics.

   Recall that this was my only mail that concerns you in particular, and that
it was in response to a mail of you, and that it was that mail that I felt
upsetting.

I quote from it:

  > Shall we stop saying "natural" and say "invariant under composition"?
  > Or is that term allowed under the grandfather clause,

"the grandfather clause" is not something nice to qualify my sayings.

  > As a proud citizen of the Ghetto of Category Land,

sounds ironic and upsetting, showing that you were very upset that i consider
certain characteristics of our group proper of a ghetto, in the sense of
isolation from the world of real mathematics. Well, I do think that one of
these characteristics is the introduction of names and terminology in an
unjustified way.  Andre Joyal call it "a subculture" (well, he just said there
is a danger to become a subculture) which if you think a little, sounds better
than "ghetto", but it is as negatively strong or even worst.

I apologize to you for using that term that you had felt insulting (and I
imagine some others in the list may have felt so)

Your msage had an overall upsetting style, and I reacted accordingly.

All the best, no hard feelings from my part.  e.d.

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


^ permalink raw reply	[flat|nested] 20+ messages in thread

end of thread, other threads:[~2010-10-03 22:10 UTC | newest]

Thread overview: 20+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-09-24 15:44 subculture Eduardo J. Dubuc
2010-09-25  0:38 ` subculture Ruadhai
2010-09-25 23:10   ` RE : categories: subculture Joyal, André
2010-09-26  2:43   ` subculture David Leduc
2010-09-26  3:19   ` subculture Fred Linton
     [not found]   ` <AANLkTikJoHkO2M_3hnrQqqFq2_N2T9i6KF2DRFbHTujP@mail.gmail.com>
2010-09-26  3:43     ` subculture Eduardo J. Dubuc
2010-09-25  4:01 ` Not invariant but good Joyal, André
     [not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F59BE@CAHIER.gst.uqam.ca>
2010-09-26  3:29   ` John Baez
2010-09-27  2:54     ` Peter Selinger
2010-09-27 15:55     ` RE : categories: " Joyal, André
2010-09-28  2:10       ` RE : " John Baez
2010-09-29 18:05         ` no joke Joyal, André
2010-09-30  2:53           ` John Baez
2010-09-28 10:18       ` RE : categories: Re: Not invariant but good Thomas Streicher
2010-09-29 21:25         ` Michael Shulman
2010-09-30  3:07           ` Richard Garner
2010-09-30 11:11           ` Thomas Streicher
2010-09-30 19:39             ` Michael Shulman
2010-09-30 11:34           ` Thomas Streicher
     [not found] ` <20101001092434.GA9359@mathematik.tu-darmstadt.de>
2010-10-03 22:10   ` Michael Shulman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).