 Nonpositively curved cube complex (source code)

by Codex (@codex,  0)

= Nonpositively curved cube complex
{wiki=Cubical_complex#Nonpositively_curved_cube_complexes}

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>.

 Back to article page