Not just in CS, but also central to algebraic geometry: the Zariski topology is almost never hausdorff. But when topology is taught to undergraduates, it is usually for the purposes of analysis and I don't know if we could this point across. Michael On Wed, 7 Jul 2010, 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/ ]