categories - Category Theory list
 help / color / mirror / Atom feed
From: William Messing <messing@math.umn.edu>
To: George Janelidze <janelg@telkomsa.net>
Cc: categories@mta.ca,
Subject: Re: Bourbaki and category theory again
Date: Sun, 27 May 2012 14:44:52 -0500	[thread overview]
Message-ID: <4FC28434.1050802@math.umn.edu> (raw)
In-Reply-To: <E1SYifj-0007rb-I9@mlist.mta.ca>

Concerning Borceaux's citation of "Revised and reduced..." in the second 
edition of Bourbaki, Theorie des Ensembles, chapitre IV, I think a more 
accurate translation is "suppressed", rather than "reduced".  What was 
suppressed from the first, 1957, edition of Structures was the 19 page 
appendix, titled Criteres de transportabilite, and  devoted to giving 
useful criteria for verifying that a relation of a theory T, is 
transportable relative to a given typification, as these terms are 
defined in ¶ 1 of this chapter.  Thus, this appendix   also explains the 
concept of "transport of structure", a notion that Bourbaki employed 
frequently and also gives a rigorous definition of "canonical". 

It seems plausible that Chevalley was the author of this appendix, 
although Bourbaki tradition is to not confirm or deny such a statement.

I have never understood why Bourbaki chose to suppress this appendix, as 
I find it very interesting  and very well written.

Bill Messing


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


  reply	other threads:[~2012-05-27 19:44 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-05-21 22:49 Bourbaki & category theory Staffan Angere
2012-05-22 17:25 ` Colin McLarty
2012-05-22 21:45   ` Ross Street
2012-05-22 21:51   ` George Janelidze
2012-05-27 17:09     ` Bourbaki, Ehresmann & species of structures Andree Ehresmann
     [not found]   ` <800CD7A683A74A6299D3AEC536E36256@ACERi3>
2012-05-22 23:06     ` Bourbaki & category theory Colin McLarty
     [not found]     ` <CAOzx82oAVzdsEwrY9MQfLTdcA12m1N2ght18cJHxahgt5Onv=g@mail.gmail.com>
2012-05-23 11:36       ` George Janelidze
2012-05-24  3:46         ` Eduardo J. Dubuc
2012-05-24 10:53         ` Colin McLarty
2012-05-22 17:49 ` Eduardo J. Dubuc
2012-05-23 23:33   ` maxosin
2012-05-24  0:03   ` Eduardo J. Dubuc
2012-05-25  1:52     ` Colin McLarty
2012-05-27 14:16       ` Bourbaki and category theory again George Janelidze
2012-05-27 19:44         ` William Messing [this message]
2012-05-24  2:49   ` Bourbaki & category theory rlk

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=4FC28434.1050802@math.umn.edu \
    --to=messing@math.umn.edu \
    --cc=categories@mta.ca \
    --cc=janelg@telkomsa.net \
    /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).