From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7773
Path: news.gmane.org!not-for-mail
From: "Eduardo J. Dubuc" <edubuc@dm.uba.ar>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: a historical question
Date: Mon, 17 Jun 2013 10:55:00 -0300
Message-ID: <E1UofXM-0006k0-Sg@mlist.mta.ca>
References: <E1UoNb9-00039X-4O@mlist.mta.ca>
Reply-To: "Eduardo J. Dubuc" <edubuc@dm.uba.ar>
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1371499061 20598 80.91.229.3 (17 Jun 2013 19:57:41 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Mon, 17 Jun 2013 19:57:41 +0000 (UTC)
Cc: categories@mta.ca
To: Valeria de Paiva <valeria.depaiva@gmail.com>
Original-X-From: majordomo@mlist.mta.ca Mon Jun 17 21:57:42 2013
Return-path: <majordomo@mlist.mta.ca>
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 <majordomo@mlist.mta.ca>)
	id 1UofYb-0001KD-5G
	for gsmc-categories@m.gmane.org; Mon, 17 Jun 2013 21:57:41 +0200
Original-Received: from mlist.mta.ca ([138.73.1.63]:42634)
	by smtp3.mta.ca with esmtp (Exim 4.80)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1UofXM-0001HE-P5; Mon, 17 Jun 2013 16:56:24 -0300
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1UofXM-0006k0-Sg
	for categories-list@mlist.mta.ca; Mon, 17 Jun 2013 16:56:24 -0300
In-Reply-To: <E1UoNb9-00039X-4O@mlist.mta.ca>
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:7773
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/7773>

On 15/06/13 22:08, Valeria de Paiva wrote:
> 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?minaire
> Bourbaki<http://en.wikipedia.org/wiki/S%C3%A9minaire_Bourbaki>exposition
> 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
>

There is a Cartier's exposition on the work of Lawvere.

e.d.


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