On the crossed polysquare version of homotopy cokernels

In this paper, we define a generalized notion of semidirect hyperproduct of polygroups and use that to introduce a pushout construction for crossed polymodules. Our results extend the classical results of crossed squares to crossed polysquares. One of the main tools in the study to polygroups is the fundamental relations. Additionally we study of the crossed polysquare version of homotopy cokernels.