From: "George Janelidze" <janelg@telkomsa.net>
To: "Colin McLarty" <colin.mclarty@case.edu>,
"Staffan Angere" <Staffan.Angere@fil.lu.se>, <categories@mta.ca>
Subject: Re: Bourbaki & category theory
Date: Tue, 22 May 2012 23:51:28 +0200 [thread overview]
Message-ID: <E1SXK68-0003mm-Jv@mlist.mta.ca> (raw)
In-Reply-To: <E1SWswD-0006tb-1e@mlist.mta.ca>
Dear Colleagues,
I don't think it is good to say that "Bourbaki had a notion of isomorphism
but no general notion of morphism", even in a brief message!
Bourbaki introduces morphisms in subsection 1 of section 2 of Chapter IV of
"Theory of Sets". Removing Bourbaki's formalism, the definition can be
stated as follows:
Let S be a class of mathematical structures of a given type, and let us
assume for simplicity that these structures have single underlying sets
(Bourbaki also makes this assumption, also just for simplicity). An element
of S is therefore a pair (x,s), where x is a set and s a structure on x. By
a map f : (x,s) --> (y,t) we shall mean an arbitrary map f from x to y. But,
just as in category theory, a map (x,s) --> (y,t) should "remember" (x,s)
and (y,t). A class M of such maps is said to be a class of morphisms if it
satisfies the following conditions:
(i) If f : (x,s) --> (y,t) and g : (y,t) --> (z,u) are in M, then so is gf :
(x,s) --> (z,u);
(ii) let f : (x,s) --> (y,t) be a map that is a bijection x --> y, and let g
: (y,t) --> (x,s) be its inverse, then f is an isomorphism if and only if
both f and g are in M.
Here Bourbaki uses the notion of isomorphism that he (they) defined before
and that is completely determined by S. That is, according to Bourbaki, as
soon as I know the structures I also know their isomorphisms - but I still
might have flexibility in defining morphisms. How flexible it is? Well,
condition (i) says that the class of morphisms must be closed under
composition, and condition (ii) says that morphisms must nicely agree with
isomorphisms.
The readers not familiar with category theory might ask, why is it so? Why
should we agree that isomorphisms are "more determined" than morphisms?
And one needs very little category theory to answer this: Bourbaki
structures are defined as elements of sets that appear in "scales" build
using finite cartesian products and power sets (in which we see a "germ" of
Pare theorem about toposes: no colimits!), and to define morphisms we need
functoriality of scales that we don't have, since we might want to use the
contravariant power set functor, as e.g. for topological spaces. And this
problem disappears of course if we restrict ourselves to bijections. (In
fact even without power sets there is a problem that disappears for
bijections, but never mind).
The citation from Weil might mean that he misunderstood (or almost
understood) exactly this... (I mean, not structures, but parts of scales
behave covariantly or contravariantly! - But apologizing to Weil, I must say
that I have not read the full text - so maybe it is I who misunderstood
him... for instance Mac Lanes idea could be that in many cases there is the
"best" notion of morphism, which is correct of course).
Talking about Bourbaki and categories, how can we not mention Charles
Ehresmann who was far ahead in understanding many aspects of category
theory, and actually used the category of sets and bijections to approach
the general concept of mathematical structure?! (It is interesting that his
concept of a mathematical structure is briefly mentioned in "Introduction to
the theory of categories and functors", a book written by I. Bucur and A.
Deleanu). Surely Andree Ehresmann can tell us many interesting things about
his ideas and the reaction of the rest of Bourbaki on them.
But let me return to Bourbaki in general. Seeing that there is certain
flexibility in choosing morphisms is great, but then not seeing that the
morphisms do not have to be maps of sets at all is absolutely crucial. So,
yes, category theory theory was definitely invented by Mac Lane and
Eilenberg and not by Bourbaki.
George Janelidze
P.S. Also, as we all know, Einenberg and Mac Lane wrote "General theory of
natural equivalences" long before Bourbaki wrote their Chapter IV, which
itself was long before 1970.
--------------------------------------------------
From: "Colin McLarty" <colin.mclarty@case.edu>
Sent: Tuesday, May 22, 2012 7:25 PM
To: "Staffan Angere" <Staffan.Angere@fil.lu.se>
Cc: <categories@mta.ca>
Subject: categories: Re: Bourbaki & category theory
> Prior to encountering category theory, Bourbaki had a notion of
> isomorphism but no general notion of morphism. See this letter from.
> Andre Weil to Claude Chevalley, Oct. 15, 1951:
>
> \begin{quotation} As you know, my honorable colleague Mac~Lane
> maintains every notion of structure necessarily brings with it a
> notion of homomorphism, which consists of indicating, for each of the
> data that make up the structure, which ones behave covariantly and
> which contravariantly [\dots] what do you think we can gain from this
> kind of consideration? (quoted in Corry ~\cite[p. 380] Modern Algebra
> and the Rise of Mathematical Structures}, Basel: Birkh{\"a}user
> 1996.\end{quotation}
>
>
>
> On Mon, May 21, 2012 at 6:49 PM, Staffan Angere
> <Staffan.Angere@fil.lu.se> wrote:
>> Dear categorists,
>>
>> and also, hello everyone, since this is my first post here! I'm wondering
>> about the connection of Bourbaki to category theory. The copy of "Theory
>> of Sets" that I have says it's written in 1970. Yet, Dieudonné famously
>> saiid that the theory of functors subsumed Bourbaki's theory of
>> structures... and, also, Bourbaki's theory of structures is very clearly
>> a theory of a type of concrete categories. On the other hand, I've seen
>> claims that the categorists' use of "morphism" comes from Bourbaki. So
>> who was first? Does anyone here know when Bourbaki's theory of structures
>> was really conceived? I guess this might be self-evident to anyone born
>> during the 1st half of the 20th century, but it has turned out to be
>> really hard to find out for me.
>>
>> Thanks in advance,
>> staffan
>>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2012-05-22 21:51 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-21 22:49 Staffan Angere
2012-05-22 17:25 ` Colin McLarty
2012-05-22 21:45 ` Ross Street
2012-05-22 21:51 ` George Janelidze [this message]
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
2012-05-24 2:49 ` Bourbaki & category theory rlk
2012-06-13 23:18 Fred E.J. Linton
2012-06-14 15:57 ` pjf
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=E1SXK68-0003mm-Jv@mlist.mta.ca \
--to=janelg@telkomsa.net \
--cc=Staffan.Angere@fil.lu.se \
--cc=categories@mta.ca \
--cc=colin.mclarty@case.edu \
/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).