From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6562 Path: news.gmane.org!not-for-mail From: "Paul Taylor" Newsgroups: gmane.science.mathematics.categories Subject: RE: Subobject Classifier Algorithm Date: Wed, 2 Mar 2011 10:35:37 -0000 Message-ID: References: Reply-To: "Paul Taylor" 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 1299156835 30655 80.91.229.12 (3 Mar 2011 12:53:55 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 3 Mar 2011 12:53:55 +0000 (UTC) Cc: "categories" To: "F. William Lawvere" Original-X-From: majordomo@mlist.mta.ca Thu Mar 03 13:53:43 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Pv82H-0002mn-2d for gsmc-categories@m.gmane.org; Thu, 03 Mar 2011 13:53:41 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:41226) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Pv829-0004X1-TH; Thu, 03 Mar 2011 08:53:33 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Pv826-0004Lm-Vp for categories-list@mlist.mta.ca; Thu, 03 Mar 2011 08:53:31 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6562 Archived-At: I cannot work out whether the message that Bill Lawvere originally sent in HTML was turned into plain text by him or by Bob Rosebrugh. Either way, I take exception to having the quotation of my message reduced in a way that suggests that I believe that the statements >> (1) a topos is a cartesian closed category with >> (2) an internal Heyting algebra Omega, are sufficient to characterise a topos. My objective was to move the discussion ON from quoting 1970s lemmas. If someone has indeed programmed these lemmas in Maple then it would be interesting to hear about that. (Maybe David Rydeheard's work on "electronic category theory" counts.) Otherwise "lemma" remains the appropriate word for them, not "algorithm". By the way, I consider it no disgrace to call something a lemma: see page 192 of my book. The point of the characterisation that I gave for a topos is that the difference between set theory (=3D a topos) on the one hand and topology and computation on the other is that quantification over arbitrary sets is allowed, but only over compact or overt spaces. This restriction brings us a little closer to what most people would call an algorithm. Paul Taylor [For admin and other information see: http://www.mta.ca/~cat-dist/ ]