slicing points in a pointfree adjunction for td partial spaces

The td axiom, a low order separation axiom between t0 and t1, has been of interest to classical topologists for some time; latterly it has also proved interesting to pointfree topologists. here we investigate it in the context of partial spaces and partial frames (think: σ-frames, κ-frames, frames, bounded distributive lattices). we establish an adjunction between the category of td partial spaces with continuous maps and the category of partial frames with d-homomorphisms. several standard tools (covered primes, right adjoints, point closures) are not appropriate in our setting; we use linked pairs and slicing points instead. of particular interest are the slicing points of free frames and congruence frames.we examine the fixed objects of the adjunction; both similarities and differences to the classical situation become clear. in particular, there are compact hausdorff partial spaces that are not td. we introduce sharp partial frames, those for which all points are slicing and characterize these as well as the td spatial and strongly td spatial partial frames. we conclude with a comparison of sober and td partial spaces.