From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2552 Path: news.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: Re: Compact subsets of k-spaces (without separation axioms) Date: Mon, 16 Feb 2004 10:30:23 +0000 Message-ID: <16432.39871.67026.622299@gargle.gargle.HOWL> References: 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 1241018742 4697 80.91.229.2 (29 Apr 2009 15:25:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:42 +0000 (UTC) To: Gabor Lukacs , Original-X-From: rrosebru@mta.ca Mon Feb 16 22:01:25 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 16 Feb 2004 22:01:25 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AsuSG-00074p-00 for categories-list@mta.ca; Mon, 16 Feb 2004 21:55:20 -0400 In-Reply-To: X-Mailer: VM 7.07 under 21.4 (patch 8) "Honest Recruiter" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 21 Xref: news.gmane.org gmane.science.mathematics.categories:2552 Archived-At: Gabor Lukacs writes: > I was wondering if anyone knows whether the first statement is true > *without separation axioms*, i.e., whether for every topological space X, > its k-ification kX and X have the same compact subspaces. Sometime ago Alex Simpson advertised a paper "Comparing cartesian closed categories of (core) compactly generated spaces". http://www.cs.bham.ac.uk/~mhe/papers/ELS03.pdf where we have the same question (problem 9.2). Hence if anyone has an answer, please forward it to us as well - thanks. (I also take the opportunity to mention that we have updated the paper with some references given to us by some members of this list, in Section 3.) MHE