CAT(0) cube complexes are cell complexes whose cells are cubes,
whose naturally defined metric is non-positively curved in some
precise sense.
They can be equivalently defined in a variety of ways, which a
priori looks very different. They naturally...