A note on the relation between categories and hyperstructures (Q1688654)

Let \(n\geq 2\) be a positive integer. The paper deals with \(n\)-ary hyperstructures (or \(n\)-\textit{hyperstructures} for short) and \(n\)-ary relations. The research about \(n\)-hyperstructures was initiated by \textit{B. Davvaz} and \textit{T. Vougiouklis} who introduced these structures in \(n\)-ary hypergroups [Iran. J. Sci. Technol. Trans. A Sci. 30, No. 2, 165--174 (2006)]. In this paper, the authors introduce first four categories: (1) \(\mathbf{HS}_n\); the category of \(n\)-hyperstructures and homomorphisms, (2) \(\mathbf{HSP}_n\); the category of \(n\)-hyperstructures with particular carriers and relations: any object of this category is an ordered pair \((A^n , r)\) where \(r\) is a binding relation on \({\mathcal{P}^*(A)}^n\) which means that \(r\subseteq (\mathcal{P}^*(A)^n)^n\) such that for all subsets \(A_{ij}\subseteq A, 1\leq i, j\leq n\) if \(((A_{11},\dots, A_{1n}),\dots, (A_{n1},\dots, A_{nn}))\in r\) then \(A_{ij}= A_{(i+1)(j-1)}\) for \(i, j = 1, \cdots , n\). A morphism \(f : (A^n , r)\rightarrow (B^n , s)\) in this category is an \(n\)-decomposable mapping \(f : A^n\rightarrow B^n\) (i.e., \(f = g^n\) for some mapping \(g: A\rightarrow B\)) such that for any \(A_{ij}\subseteq A, 1\leq i, j\leq n\) if \(((A_{11}, \dots, A_{1n}),\dots, (A_{n1},\dots, A_{nn}))\in r\) then \((f(A_{11},\dots, A_{1n}),\dots, f(A_{n1},\dots, A_{nn}))\in s\), (3) \(\mathbf{UBA}_n\); the category of unary binding \(n\)-ary algebras and \(n\)-decomposable homomorphisms, and finally (4) \(\mathbf{HG}_n\); the category of \(n\)-ary hpergroupoids and (strong) homomorphisms. Then they prove that the last two categories are isomorphic.