Separation Classes of Equilogical Spaces

Reinhold Heckmann

Abstract

The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category ASSM of assemblies over algebraic lattices, which is a generalisation of Scott's category EQU of equilogical spaces. In this paper, we identify cartesian closed subcategories of assemblies which correspond to well-known separation properties of topology: T0, T1, Hausdorff, completely Hausdorff, totally disconnected, completely regular, zero-dimensional.


[Paper.ps.gz (13p, 52k)]


Reinhold Heckmann / heckmann@absint.com