Has Klein's "Erlangen Program" been generalized/extended to the noncommutative setting (say, à la Connes)? Is there a classification of "noncommutative klein geometries" at least in very low dimension?
Some steps towards generalizing/extending "Erlangen Program" to the noncommutative setting have been taken by V. Kisil. See eg. here and his later papers.