  We provide a basic introduction to discrete-variable, rotor, and
continuous-variable quantum phase spaces, explaining how the latter two can be
understood as limiting cases of the first. We extend the limit-taking
procedures used to travel between phase spaces to a general class of
Hamiltonians (including many local stabilizer codes) and provide six examples:
the Harper equation, the Baxter parafermionic spin chain, the Rabi model, the
Kitaev toric code, the Haah cubic code (which we generalize to qudits), and the
Kitaev honeycomb model. We obtain continuous-variable generalizations of all
models, some of which are novel. The Baxter model is mapped to a chain of
coupled oscillators and the Rabi model to the optomechanical radiation pressure
Hamiltonian. The procedures also yield rotor versions of all models, five of
which are novel many-body extensions of the almost Mathieu equation. The toric
and cubic codes are mapped to lattice models of rotors, with the toric code
case related to U(1) lattice gauge theory.
