“…Also, the idea of representing continuous functions by certain relations, as in §4, already appears in formal topology (see [CMS13]), where constructions similar to those in §5 also appear. There have also been various other extensions of Stone duality, often in the context of categorical or continuous rather than classical logic and/or based on the ring structure of C(X, C), the lattice structure of C(X, R) or the MV-algebra structure of C(X, [0, 1]) (see [KR16], [MR15], [Rus16] and the references therein).…”