ByNobleID
    Hochster’ theorem, coherent locales, and lattices of radical ideals | NobleID