From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7771 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Jean_B=E9nabou?= Newsgroups: gmane.science.mathematics.categories Subject: Re: a historical question Date: Mon, 17 Jun 2013 09:43:04 +0200 Message-ID: References: Reply-To: =?iso-8859-1?Q?Jean_B=E9nabou?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Apple Message framework v1283) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1371498945 19476 80.91.229.3 (17 Jun 2013 19:55:45 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 17 Jun 2013 19:55:45 +0000 (UTC) Cc: Categories To: Valeria de Paiva Original-X-From: majordomo@mlist.mta.ca Mon Jun 17 21:55:44 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UofWh-0005pc-9z for gsmc-categories@m.gmane.org; Mon, 17 Jun 2013 21:55:43 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42618) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UofVO-0000wL-BX; Mon, 17 Jun 2013 16:54:22 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UofVO-0006f5-Ky for categories-list@mlist.mta.ca; Mon, 17 Jun 2013 16:54:22 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7771 Archived-At: The only talk related to the subject that Cartier gave at Bourbaki (not = a very good one if I may say so since I was present) was about Lawvere- = Tierney's elementary toposes with a brief mention of the fact that they = had something to do with intuitionist logic.=20 > Hi, > I know no one should pay too much attention to what Wikipedia says, = but I > wonder if anyone can give me a proper reference for: > "Cartier was to give a S=E9minaire > = Bourbakiexposition > of intuitionistic logic." > This is in the Wikipedia entry for Categorical Logic > http://en.wikipedia.org/wiki/Categorical_logic > and as anything that is in Wikipedia is repeated lots of times, all = over > the web. > Does anyone know what this sentence is referring to, please? > Thanks > Valeria >=20 > --=20 > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/ >=20 >=20 > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]