From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7772
Path: news.gmane.org!not-for-mail
From: Valeria de Paiva <valeria.depaiva@gmail.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: a historical question
Date: Mon, 17 Jun 2013 06:18:03 -0700
Message-ID: <E1UofWY-0006ho-Fu@mlist.mta.ca>
References: <E1UoNb9-00039X-4O@mlist.mta.ca>
Reply-To: Valeria de Paiva <valeria.depaiva@gmail.com>
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: ger.gmane.org 1371499014 20091 80.91.229.3 (17 Jun 2013 19:56:54 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Mon, 17 Jun 2013 19:56:54 +0000 (UTC)
Cc: categories@mta.ca
To: Urs Schreiber <urs.schreiber@googlemail.com>
Original-X-From: majordomo@mlist.mta.ca Mon Jun 17 21:56:55 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 1UofXq-0008He-Qj
	for gsmc-categories@m.gmane.org; Mon, 17 Jun 2013 21:56:54 +0200
Original-Received: from mlist.mta.ca ([138.73.1.63]:42626)
	by smtp3.mta.ca with esmtp (Exim 4.80)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1UofWY-00018q-7T; Mon, 17 Jun 2013 16:55:34 -0300
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1UofWY-0006ho-Fu
	for categories-list@mlist.mta.ca; Mon, 17 Jun 2013 16:55:34 -0300
In-Reply-To: <CA+Kbugf5odrKdAUW8L46=QE8OyDe9wTuWu=UJ-9qLQLokrvurA@mail.gmail.com>
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:7772
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/7772>

Thank you Prof Benabou for the personal evidence and thank you Urs
Schreiber and Thomas Streicher for the document!!! Really glad to see that
the Seminaire Bourbaki is online and surprised that I couldn't find it
yesterday.
best,
Valeria

On Mon, Jun 17, 2013 at 12:32 AM, Urs Schreiber <
urs.schreiber@googlemail.com> wrote:

> I suppose this is referring to
>
> Pierre Cartier,
> "Logique, cat=E9gories et faisceaux",
> S=E9minaire Bourbaki, 20 (1977-1978), Exp. No. 513, 24 p.
> http://www.numdam.org/item?id=3DSB_1977-1978__20__123_0
>
>

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