d-Spectral Bitopological Spaces

We introduce and study the category of \emph{d-spectral spaces}, a bitopological analogue of the classical spectral spaces of Stone and Hochster.

A d-spectral space is a compact, d-sober bitopological space such that both open set lattices are coherent frames, where d-sobriety is the bitopological notion of sobriety due to Jung and Moshier.

We show that the category of spectral spaces embeds into the category of d-spectral spaces as a simultaneously reflective and coreflective full subcategory.

Moreover, we prove that d-spectral spaces are precisely the spectra of d-lattices.

Key to this result is the d-lattice of compact open sets associated to a d-spectral space and the spectrum construction for d-lattices.

We also show that the patch space of a d-spectral space is d-Boolean and that the de Groot dual of a d-spectral space is again d-spectral, mirroring the corresponding classical properties of spectral spaces.

Our results demonstrate that d-spectral spaces form a natural and well-behaved bitopological extension of the spectral space framework.