Re: non-Hausdoff topology

[Michael Barr <barr@math.mcgill.ca>]

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/ ]