Cubulation of a group
ID: cubulation-of-a-group
A cubulation of a group is a metrically proper action by cubical automorphisms on a CAT(0) cube complex. It is cocompact when the action is also a cocompact group action.
New to topics? Read the docs here!