On the other hand, the references currently offered at coherence space all say “coherent space” (e.g. here). In fact, Wikipedia here insists that “coherent space” is for the concept in linear logic, and instead redirects the reader interested in topology to “spectral space”.
Not sure what this implies, but maybe the disambiguation deserves more commentary.
]]>Disambiguation note
]]>Renamed and cross-linked with coherent topos.
]]>Added a reference.
]]>Pointed out a relation to Stone duality for Boolean algebras.
]]>Reference to Johnstone’s Stone spaces.
]]>Added some redirects.
]]>Stone duality for coherent spaces and coherent locales.
]]>