Kitaev's homotopy conjecture for spaces of invertible states
Kitaev's homotopy conjecture. There is a homotopy equivalence