Square complexes and simplicial nonpositive curvature

Tomasz Elsner, Piotr Przytycki

We prove that each nonpositively curved square VH-complex can be turned functorially into a locally 6-large simplicial complex of the same homotopy type. It follows that any group…