We describe how the constructions of quantum homogeneous spaces using infinitesimal invariance and quantum coisotropic subgroups are related. As an example we recover the quantum 4-sphere of [2] through infinitesimal invariance with respect to .
We construct quantum metric structures on unital AF algebras with a faithful tracial state, and prove that for such metrics, AF algebras are limits of their defining inductive sequences of finite-dimensional C*-algebras for the quantum propinquity. We then study the geometry, for the quantum propinquity, of three natural classes of AF algebras equipped with our quantum metrics: the UHF algebras, the Effrös-Shen AF algebras associated with continued fraction expansions of irrationals, and the Cantor...