Computing 3-Dimensional Groups : Crossed Squares and Cat${}^2$-Groups

Zekeriya Arvasi, Alper Odabaş, Christopher D. Wensley

The category $\mathbf{XSq}$ of crossed squares is equivalent to the category $Cat2$ of cat${}^2$-groups. Functions for computing with these structures have been developed in…