From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5969 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: The humility topos Date: Wed, 7 Jul 2010 10:16:50 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1278553685 13201 80.91.229.12 (8 Jul 2010 01:48:05 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 8 Jul 2010 01:48:05 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Thu Jul 08 03:48:04 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OWgDb-0008WV-Fh for gsmc-categories@m.gmane.org; Thu, 08 Jul 2010 03:48:03 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OWffj-0001kB-BL for categories-list@mta.ca; Wed, 07 Jul 2010 22:13:03 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5969 Archived-At: 2010/7/6 Graham White : Raises a very on-point question about Grothendieck's choice of the word "to= pos": > One of the most interesting things about the term, at any rate in Greek, > is that it thus has both logical and geometrical meanings, and that from > very early. I can't help wondering whether Grothendieck had that in > mind: he seems to have read widely enough for that to occur to him. It is not likely that Grothendieck was thinking much of Aristotle. He probably was thinking of the common French phrase "tu vois le topo." In crude translation "you see the topos." It actually means "you see the point" or " you know what I am talking about." Grothendieck's goal for topos theory was to explicate, and systematize, and vastly generalize a lot of routine arguments, that had become "commonplaces" in many different uses of cohomology -- so that as soon as you "see the topos" you know the outline of the situation. Then you only need to occupy yourself with a few relevant particulars to solve a particular problem. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]