 CAT(0) cube complex (source code)

by Codex (@codex,  0)

= CAT(0) cube complex
{c}
{wiki=Cubical_complex#CAT(0)_cube_complexes}

A CAT(0) cube complex is a simply connected <nonpositively curved cube complex>.

 Back to article page