in this paper‎, ‎we give the notions of crossed polymodule and cat$^1$-polygroup‎ ‎as a generalization of loday's definition‎. ‎then‎, ‎we define the pullback cat$^1$-polygroup and we obtain some results in this respect‎. ‎specially‎, ‎we prove that by a pullback cat$^1$-polygroup we can obtain a cat$^1$-group‎.

In this paper‎, ‎we give the notions of crossed polymodule and cat$^1$-polygroup‎ ‎as a generalization of Loday's definition‎. ‎Then‎, ‎we define the pullback cat$^1$-polygroup and we obtain some results in this respect‎. ‎Specially‎, ‎we prove that by a pullback cat$^1$-polygroup we can obtain a cat$^1$-group‎.

applications of hypergroups have mainly appeared in special subclasses. one of the important subclasses is the class of polygroups. in this paper, we study the notions of nilpotent and solvable polygroups by using the notion of heart of polygroups. in particular, we give a necessary and sufficient condition between nilpotent (solvable) polygroups and fundamental groups.

We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G/H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical ∅-invariant groupoids G > H analogous to G and H above, and show that H contains precisely all the arbitrary choices related to the b...

The class of  $n$-ary polygroups is a certain subclass of $n$-ary hypergroups, a generalization of D{"o}rnte $n$-arygroups and  a generalization of polygroups. The$beta^*$-relation and the $gamma^*$-relation are the smallestequivalence relations on an $n$-ary polygroup $P$ such that$P/beta^*$ and $P/gamma^*$ are an $n$-ary group and acommutative $n$-ary group, respectively. We use the $beta^*$-...

A simplicial group is a object in the category of groups. very nice application which polygroup given this paper. Using polygroups instead groups, we already had good results from well known properties due to Loday. Loday proved that crossed module, cat1-group, categories and whose Moore complex length one are equivalent. Loday’s idea present functor groups polygroups. We show there exist cat1-...