turn is dual to the category DLat₀₁ of bounded distributive lattices. Hence, DLat₀₁ is dual to CohSp--one obtains Stone's representation theorem for distributive lattices.
* When restricting further to coherent spaces that are Hausdorff, one obtains the category Stone