Notions of Local Compactness and Smallest Compactifications of Biframes

The category of coherent biframes is shown to be equivalent to that of the coupled lattices, and dually equivalent to the spectral bispaces. Stably continuous biframes arise as the retracts of the coherent biframes. The coherent and the stably continuous biframes are coreflective in all biframes. Weak local compactness is introduced, and in conjunction with regularity, is shown to be sufficient for the construction of smallest compactifications.