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 -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
I suppose this is referring to Pierre Cartier, "Logique, catégories et faisceaux", Séminaire Bourbaki, 20 (1977-1978), Exp. No. 513, 24 p. http://www.numdam.org/item?id=SB_1977-1978__20__123_0 On 6/16/13, Valeria de Paiva <valeria.depaiva@gmail.com> 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
-- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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.
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
-- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
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/ ]
Dear Eduardo, This is Cartier's Bourbaki Seminar talk of February 1978 on the work of Lawvere and Tierney. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (5)
-
Eduardo J. Dubuc -
Jean Bénabou -
Tierney, Myles -
Urs Schreiber -
Valeria de Paiva