From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7287 Path: news.gmane.org!not-for-mail From: "Eduardo J. Dubuc" Newsgroups: gmane.science.mathematics.categories Subject: Re: Bourbaki & category theory Date: Tue, 22 May 2012 14:49:05 -0300 Message-ID: References: Reply-To: "Eduardo J. Dubuc" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1337812211 24168 80.91.229.3 (23 May 2012 22:30:11 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 23 May 2012 22:30:11 +0000 (UTC) Cc: "categories@mta.ca" To: Staffan Angere Original-X-From: majordomo@mlist.mta.ca Thu May 24 00:30:10 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SXK4E-0005PK-H0 for gsmc-categories@m.gmane.org; Thu, 24 May 2012 00:30:06 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43627) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1SXK3m-0004mZ-9E; Wed, 23 May 2012 19:29:38 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1SXK3o-0003fv-45 for categories-list@mlist.mta.ca; Wed, 23 May 2012 19:29:40 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7287 Archived-At: On 21/05/12 19:49, Staffan Angere wrote: > Dear categorists, > > and also, hello everyone, since this is my first post here! I'm wonderi= ng about the connection of Bourbaki to category theory. The copy of "Theo= ry of Sets" that I have says it's written in 1970. Yet, Dieudonn=E9 famou= sly saiid that the theory of functors subsumed Bourbaki's theory of struc= tures... and, also, Bourbaki's theory of structures is very clearly a the= ory 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 rea= lly conceived? I guess this might be self-evident to anyone born during t= he 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/ ] The reason why category theory "is what it is" is that it is the language that allows to define the notion of universal=20 property in its right generality. The notion of universal property first appears in Bourbaki, which=20 decided not to use the language of categories to formulate it, on spite=20 of the advice of Grothendieck. e.d [For admin and other information see: http://www.mta.ca/~cat-dist/ ]