ByNobleID
    Stone duality for topological theories | NobleID