From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2098 Path: news.gmane.org!not-for-mail From: Max Kelly Newsgroups: gmane.science.mathematics.categories Subject: Re: thoughts arising from a letter of Lawvere Date: Mon, 13 Jan 2003 18:44:47 +1100 Organization: School of Mathematics and Statistics, University of Sydney Message-ID: <3E226E6F.167E@maths.usyd.edu.au> References: <3E13DF3B.59E2@maths.usyd.edu.au> <15899.65358.998738.42379@acws-0054.cs.bham.ac.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018411 2478 80.91.229.2 (29 Apr 2009 15:20:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:20:11 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Jan 13 20:09:53 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 13 Jan 2003 20:09:53 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18YEb7-0002mp-00 for categories-list@mta.ca; Mon, 13 Jan 2003 20:06:29 -0400 X-Mailer: Mozilla 3.01Gold (X11; I; OSF1 V5.1 alpha) Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 23 Original-Lines: 23 Xref: news.gmane.org gmane.science.mathematics.categories:2098 Archived-At: Martin Escardo (Categories 8 Jan.) is correct in surmising that the results of Brian Day's 1968 M.Sc. thesis are included, in a much more general form, as an example in his 1972 article in JPAA. My point was only the history of the matter; the 1972 paper is one of three which together expound the content of Brian's Ph.D. thesis, and appeared four years later than his Masters degree. In the interim the adjunction between topological spaces and Spanier's quasi-spaces, and the relation of this to compactly-generated spaces, had been observed and published by two or three other of our colleagues; Booth was one, and there was at least one more whose name escapes me. Brian was then rueful about not submitting the M.Sc. thesis for publication in 1968; as his supervisor, I shared his rue. Martin also seeks more information about the hidden category theory behind my 1970 paper with Brian. There was never anything like a "categorical version" that got turned into a "topological" one; we translated as we went. I believe my 2 Jan. letter to Categories contains enough hints to make a reconstruction straightforward, even if a bit long and tedious. Max Kelly.