1: \begin{definition}

2: A {\it cubical polyhedron} $\mathcal{P}$ is a CAT(0) cube complex with a distinguished vertex $v \in \mathcal{P}$ which 

3:  is contained in every maximal cube. The polyhedron is determined by a simplicial graph $\Gamma$ which is the 1-skeleton of

4: $link(v)$, which is a flag CAT(1) spherical simplicial complex. To recover $\mathcal{P}$ from a connected simplicial graph $\Gamma$,

5: we may make a spherical

6: complex by taking a right-angled spherical $k$-simplex for each $k+1$ clique of $\Gamma$, glued

7: together by the natural inclusion of cliques. 

8: This gives a CAT(1) spherical complex since it is flag \cite[Theorem 5.18]{BridsonHaefliger}. Then attach the corner of a Euclidean

9: $k+1$ cube to each spherical $k$-simplex to get a cubical polyhedron. This is a non-positively

10: curved cube complex $P(\Gamma)$ \cite[Theorem 5.20]{BridsonHaefliger}. 

11: \end{definition}

12: