“…Noncommutative metric geometry [6,28,30] studies noncommutative generalizations of Lipschitz algebras, defined as follows. Leibniz quantum compact metric spaces, and more generally quasi-Leibniz quantum compact metric spaces (a generalization we will not need in this paper), form a category with the appropriate notion of Lipschitz morphisms [21], containing such important examples as quantum tori [28], Connes-Landi spheres [22], group C*-algebras for Hyperbolic groups and nilpotent groups [29,23], AF algebras [12], Podlès spheres [2], certain C*-crossed-products [1], among others. Any compact metric space (X, d) give rise to the Leibniz quantum compact metric space (C(X), Lip) where C(X) is the C*-algebra of C-valued continuous functions over X, and Lip is the Lipschitz seminorm induced by d.…”