Nonpositively curved cube complex
= Nonpositively curved cube complex
A cube complex is nonpositively curved when every vertex link is a <flag simplicial complex>. Equivalently, its universal cover with the piecewise Euclidean metric is a <CAT(0) space>.