From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8394 Path: news.gmane.org!not-for-mail From: Venkata Rayudu Posina Newsgroups: gmane.science.mathematics.categories Subject: Grothendieck, Topos theory, and the Lawvere element Date: Fri, 21 Nov 2014 10:03:23 +0530 Message-ID: Reply-To: Venkata Rayudu Posina 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 1416762059 28184 80.91.229.3 (23 Nov 2014 17:00:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 23 Nov 2014 17:00:59 +0000 (UTC) Cc: John Duskin , categories To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Sun Nov 23 18:00:53 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XsaWr-0003oY-4N for gsmc-categories@m.gmane.org; Sun, 23 Nov 2014 18:00:53 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:44944) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XsaVw-0004xN-95; Sun, 23 Nov 2014 12:59:56 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XsaVw-0005qQ-3E for categories-list@mlist.mta.ca; Sun, 23 Nov 2014 12:59:56 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8394 Archived-At: The following: "In 1981 I [Lawvere] visited him [Grothendieck] in his stone hut, in the middle of a lavender field in the south of France [...] subobject classifier which, as he said, is one of the few ingredients of topos theory that he had not foreseen. Later in his work on homotopy he kindly referred to that object as the "Lawvere element"." --Picado, J. (2007) An interview with F. William Lawvere, Bulletin of the International Center for Mathematics may be of interest in the context of: On Tue, Nov 18, 2014 at 4:02 PM, Michael Barr wrote: >So at the end of his talk I asked him if he was familiar with the Lawvere= -Tierney axioms for a topos, which looked a lot more like set theory than t= he Giraud axioms. He said that >he didn't know what they were and asked me= to come to the board and explain them. Which I did (I added complete and = cocomplete to recover the original definition that G. had >used). He agree= d that looked a lot more like set theory. > >Bill can correct me if I am wrong, but I recall that at the Nice meeting a= year earlier, Bill had tried to tell him about elementary toposes, but G. = wasn't interested in anything >mathematical. > >Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]