categories - Category Theory list
 help / color / mirror / Atom feed
From: Nimish Shah <nimish@cs.york.ac.uk>
To: categories <categories@mta.ca>
Subject: Re: abutment = aboutement?
Date: Thu, 21 Aug 2008 15:30:52 +0100	[thread overview]
Message-ID: <E1KWVpp-0005oL-NA@mailserv.mta.ca> (raw)

On Wednesday 20 August 2008 2:13 pm, Michael Barr wrote:
> I am NOT about to change a word that has apparently existed for
> over 50 years just because it is not particularly meaningful.

I am going to risk putting my two cents here and perhaps being
rejected by the moderator.

One of the reasons why a word may need to be changed even if it has
existed for 50 years is to avoid confusion. For example in the
book "Categories for Software Engineering" the author talks about
the "social life" of a set being the other sets it talks to. For a
long while this puzzled me, until it dawned on me that the idea
that the author was using was that the origins of modern
Object-Orientated Programming (ie C++, Java) started with
SmallTalk. In SmallTalk, objects communicated with one another by
sending messages; and so making an analogy with familiar concepts
that programmers use "sets have a social life" because SW
objects "talk" to each other by sending messages.

Stated another way it is difficult to see how a (Mathematical)
object is the same as a (Software) object. The latter gets created
and destroyed as the object comes in and out of scope. Hence what
does one do? When stated generically, does the word object mean a
mathematical one (around 60 years old) or a software one (more
widely used)?

Nim.




             reply	other threads:[~2008-08-21 14:30 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-08-21 14:30 Nimish Shah [this message]
  -- strict thread matches above, loose matches on Subject: below --
2008-08-22 16:46 Eduardo J. Dubuc
2008-08-22 13:30 wlawvere
2008-08-22 13:22 jim stasheff
2008-08-22  4:04 Fred E.J. Linton
2008-08-21 20:23 Robert L Knighten
2008-08-21 19:18 Vaughan Pratt
2008-08-21 14:07 Tim Porter
2008-08-21  6:15 Eduardo J. Dubuc
2008-08-20 15:33 jim stasheff
2008-08-20 14:45 jim stasheff
2008-08-20 13:13 Michael Barr
2008-08-20  5:12 edubuc
2008-08-19 18:06 Vaughan Pratt
2008-08-19  6:28 mhebert

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1KWVpp-0005oL-NA@mailserv.mta.ca \
    --to=nimish@cs.york.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).