From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5970 Path: news.gmane.org!not-for-mail From: Steve Vickers Newsgroups: gmane.science.mathematics.categories Subject: Re: non-Hausdoff topology Date: Wed, 07 Jul 2010 17:12:32 +0100 Message-ID: References: Reply-To: Steve Vickers NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1278553707 13250 80.91.229.12 (8 Jul 2010 01:48:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 8 Jul 2010 01:48:27 +0000 (UTC) Cc: categories@mta.ca To: Paul Taylor Original-X-From: categories@mta.ca Thu Jul 08 03:48:25 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 1OWgDw-0000D3-Ti for gsmc-categories@m.gmane.org; Thu, 08 Jul 2010 03:48:25 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OWfjf-0001rD-L9 for categories-list@mta.ca; Wed, 07 Jul 2010 22:17:07 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5970 Archived-At: Dear Paul, At the Open University I was in the course development team for a thorough revision of the Topology course. Some of the other members started with the opinion that there was no need to go beyond metric spaces. However, it did eventually include general topology, mostly Hausdorff, and material on surfaces and their classification. I wrote a 50 page unit on "Topology and Computation" for it, including the specialization order, some finite topological spaces (at one point I had a section giving the equivalence between them and preorders), function spaces in some simple domain settings, continuity of currying and uncurrying and recursion as limit points. However, I left before the course development was finished, and the others didn't feel brave enough to include such wacky material without me there. So I thought in 2001 that it was time for this material to be included in the standard undergraduate curriculum for general topology, but failed to convince the people who might actually include it. Regards, Steve. Paul Taylor wrote: > Non-Hausdorff topologies, in particular the Scott topology, have been > one of the most important features of mathematics applied to computer > science over the past forty years. > > Surely it is now time for this material to be included in the standard > undergraduate curriculum for general topology in pure mathematics > degree programmes. > > I wonder whether "categories" reader have some comments on their > experience of trying to do this? I am thinking of the possible > reactions from both students and colleagues. > > Paul Taylor > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]