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: T 0 ,